Roth's theorem

Algebraic α of degree ≥ 2: |α − p/q| > C/q^{2+ε} for all p/q, finitely many exceptions. Thue-Siegel-Roth 1955 (Fields).