Roth's theorem

(mathematics) A fundamental result in Diophantine approximation to algebraic numbers, stating that these numbers cannot have many rational number approximations that are 'very good' (variously defined through history).