Liouville number

In number theory, a Liouville number is a real number ${\displaystyle x}$ with the property that, for every positive integer ${\displaystyle n}$, there exists a pair of integers ${\displaystyle (p,q)}$ with ${\displaystyle q>1}$ such that

${\displaystyle 0<\left|x-{\frac {p}{q}}\right|<{\frac {1}{q^{n}}}.}$

The inequality implies that Liouville numbers possess an excellent sequence of rational number approximations. In 1844, Joseph Liouville proved a bound showing that there is a limit to how well algebraic numbers can be approximated by rational numbers, and he defined Liouville numbers specifically so that they would have rational approximations better than the ones allowed by this bound. Liouville also exhibited examples of Liouville numbers^[1] thereby establishing the existence of transcendental numbers for the first time.^[2] One of these examples is Liouville's constant

${\displaystyle L=0.110001000000000000000001\ldots ,}$

in which the nth digit after the decimal point is 1 if ${\displaystyle n}$ is the factorial of a positive integer and 0 otherwise. It is known that π and e, although transcendental, are not Liouville numbers.^[3]