Liouville approximation theorem
ID: liouville-approximation-theorem
If an irrational algebraic number has degree , then . Approximations of arbitrarily larger polynomial order therefore prove that a Liouville number is transcendental.
New to topics? Read the docs here!