The relative growth rate for partial quotients (Q2480547)

In the standard notation for continued fractions, a consequence of the classical results of Lévy and Khinchine is that \(\lim_{n\to\infty}\log a_{n+1}/\log| x-\frac{p_n}{q_n}|=0\) almost surely. In this paper the exceptional set is studied. The main result is that for \(z\in(0,1]\) the Hausdorff dimension of the set \[ \{x\in(0,1)\mid\limsup_{n\to\infty}\log a_{n+1}/\log| x- \textstyle\frac{p_n}{q_n}|=-z\} \] is \((1-z)\), and the Hausdorff measure at that dimension is infinite. The main tool in the proof is the ``zero--infinity'' law of \textit{V. Jarník} [Math. Z. 33, 505--543 (1931; Zbl 0001.32403 and JFM 57.1370.01)].