An effective estimate for the Lebesgue measure of preimages of iterates of the Farey map (Q2634790)

Let \(F(x)\) denote the Farey map, given by \[ F(x) = \begin{cases} x/(1-x), & \text{for~}0 \leq x \leq 1/2,\\(1-x)/x, & \text{for~}1/2 < x \leq 1. \end{cases} \] In the present paper the author proves that \[ \lambda (F^{-(n-1)} [\alpha,\beta]) = \frac{\log(\beta/\alpha)}{\log n} \left( 1 + \mathcal{O}_{\alpha,\beta} \left( \frac{1}{\log n} \right) \right), \] where \(\lambda\) is the Lebesgue measure on \([0,1]\) and \([\alpha,\beta]\) is any subinterval of \([0,1]\). A similar result (without estimate for the error term) has been obtained before by \textit{M. Kessböhmer} and \textit{B. O. Stratmann} [Discrete Contin. Dyn. Syst. 32, No. 7, 2437--2451 (2012; Zbl 1251.37013)] using heavy machinery from infinite ergodic theory. The proof in the present paper avoids the use of any strong tools, and only uses basic arguments together with a Tauberian theorem due to \textit{G. Freud} [Acta Math. Acad. Sci. Hung. 2, 299--308 (1951; Zbl 0044.32404)].