El mapa de Gauss se define en $(0,1)$ mediante la fórmula $ $ f(x)=\ frac1x-\Big\lfloor\ frac1x\Big\rfloor $ $ Entonces la densidad $ $ \rho(x)=\frac{1}{\log2(1+x)} $ $ es $f$-invariante.
Apareció en el diario de Gauss. Gauss no indicó la forma en que había encontrado la densidad. Comprobar la invariancia es sencillo.
¿Hay una manera simple (corta) de llegar a esta función de densidad?
