Description: Liouville's theorem on
diophantine approximation: Any algebraic number,
being a root of a polynomial in integer coefficients, is not
approximable beyond order deg by rational numbers. In
this form, it also applies to rational numbers themselves, which are not
well approximable by other rational numbers. (Contributed by Stefan
O'Rear, 16-Nov-2014.)