  In this paper we prove the following renewal-type limit theorem. Given anirrational $\alpha$ in (0,1) and R>0, let $q_{n_R}$ be the first denominator ofthe convergents of $\alpha$ which exceeds R. The main result in the paper isthat the ratio $q_{n_R}/R$ has a limiting distribution as R tends to infinity.The existence of the limiting distribution uses mixing of a special flow overthe natural extension of the Gauss map.
The existence of the limiting distribution uses mixing of a special flow over the natural extension of the Gauss map.