Large deviation principle for arithmetic functions in continued fraction expansion (Q2274049)

For each irrational number \(x\in(0,1)\) there exists the following expression by continued fraction \[ x=\frac{1}{a_1+\frac{1}{a_2+\ldots}}, \] where each \(a_i=a_i(x)\) is a positive integer. The author of the paper consider the limiting behaviour (\(n\rightarrow\infty\)) of quantities \[ \log \lambda\left\{x\in(0,1)\setminus\mathbb{Q}: \frac{1}{n}\sum_{i=1}^n\psi(a_i(x))\le \alpha\right\}, \] \[ \log \lambda\left\{x\in(0,1)\setminus\mathbb{Q}: \frac{1}{n}\sum_{i=1}^n\psi(a_i(x))\ge \alpha\right\}, \] where \(\lambda\) denotes the restriction of the Lebesgue measure on interval \((0,1)\), and function \(\psi:\mathbb{N}\setminus\{0\}\rightarrow \mathbb{R}\) satisfies two conditions: \(\lim_{n\rightarrow\infty}\psi(n)=\infty\) and \(\int\psi(a_1(x))\mathrm{d} x=\infty\).