irrationality estimate | irrationality exponent | Liouville-Roth constant

Let x be a real number, and let R be the set of positive real numbers μ for which 0< left bracketing bar x - p/q right bracketing bar <1/q^μ has (at most) finitely many solutions p/q for p and q integers.

algebraic number | Liouville's approximation theorem | rational number | Roth's theorem | transcendence degree | transcendental number