Es precisamente así como se define la constante de Champernowne.