Gauss measure (source code)

= Gauss measure
{c}
{title2=$d\mu=dx/[(\log2)(1+x)]$}

The <invariant measure> for the <Gauss continued-fraction map> with density $1/[(\log2)(1+x)]$ on $[0,1]$. Inverse branches $x=1/(n+y)$ give transformed density $(\log2)^{-1}\sum_{n\geq1}[(n+y)^{-1}-(n+y+1)^{-1}]$, which telescopes to the same density.