A result in number theory relating to the approximation of algebraic numbers by rational numbers. For an irrational algebraic number α and any ε>0, there are finitely many rationals p/q (in simplest form) such that
The theorem is false for ε=0 by Dirichlet’s approximation theorem.