On a theorem of Gauss-Kuzmin-Lévy (Q1193290)

Let \(\mu\) denote Lebesgue measure on \(J=[0,1]\) and define the distribution functions \[ F_ n(x)=\mu(t\in J:1/\zeta_{n+1}(t)<x)\quad\text{ and }\quad G_ n(x)=\mu(t\in J:\xi_ n(t)<x), \] associated with the complete quotients \(\zeta_ n\) and the incomplete quotients \(\xi_ n\) of the expansion of a number \(t\in J\) as a regular continued fraction. The classical theorem of Gauss- Kuzmin-Lévy states that both \((F_ n)\) and \((G_ n)\) converge uniformly to \(F(x)=\log(1+x)/\log 2\). By using Wirsing's result on the rate of convergence of \((F_ n)\), the author improves on Lévy's result on the rate of convergence of \((G_ n)\), showing \(\| G_ n-F\|_ \infty=O(((3-\sqrt 5)/2)^ n)\) which is best possible.