One possible definition of an 'irrationality sequence' (see also [262] and [264]). A folklore result states that $\sum \frac{1}{a_n}$ is irrational whenever $\lim a_n^{1/2^n}=\infty$.

Kovač and Tao [KoTa24] have proved that any strictly increasing sequence such that $\sum \frac{1}{a_n}$ converges and $\lim a_{n+1}/a_n^2=0$ is not such an irrationality sequence. On the other hand, if\[\liminf \frac{a_{n+1}}{a_n^{2+\epsilon}}>0\]for some $\epsilon>0$ then the above folklore result implies that $a_n$ is such an irrationality sequence.

View the LaTeX source

This page was last edited 28 September 2025.