In Diophantine approximation, for a given positive real number $\alpha$ let $[a_0, a_1, \cdots]$ denote its continued fraction expansion and let $p_n/q_n = [a_1, \cdots, a_n]$. Then it is known that $q_n$ grows at least exponentially. In 1935, Paul Levy proved that in fact for almost all real $\alpha$, we have $\displaystyle \lim_{n \rightarrow \infty} q_n^{1/n} = \exp(\pi^2/12 \log 2)$. The result was proved using Ergodic theory. Now my question is, does there exist a single known example of a real number $\beta$ such that $\beta = [b_0, b_1, \cdots]$, $p_n/q_n = [b_0, \cdots, b_n]$, and $\displaystyle \lim_{n \rightarrow \infty} q_n^{1/n} = \exp(\pi^2/12 \log 2)$?

For example, one might expect $\beta = \exp(\pi^2/12 \log 2)$ to do the trick...

6more comments