Roth theorem
= Roth theorem
{c}
{wiki=Roth's_theorem}
If $\alpha$ is a real algebraic irrational number and $\varepsilon>0$, then
$$
\left|\alpha-\frac pq\right|<q^{-2-\varepsilon}
$$
has only finitely many reduced rational solutions $p/q$.
= Roth theorem
{c}
{wiki=Roth's_theorem}
If $\alpha$ is a real algebraic irrational number and $\varepsilon>0$, then
$$
\left|\alpha-\frac pq\right|<q^{-2-\varepsilon}
$$
has only finitely many reduced rational solutions $p/q$.