Irrationality measure

An irrationality measure of a real number ${\displaystyle \alpha }$ is a measure of how "closely" it can be approximated by rationals. If a function ${\displaystyle f(x,\lambda )}$, defined for positive real numbers, strictly decreasing in both ${\displaystyle x}$ and ${\displaystyle \lambda }$ is given, consider the following inequality:

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<f(q,\lambda )}$

for a given real number ${\displaystyle \alpha \in \mathbb {R} }$ and rational numbers ${\displaystyle {\frac {p}{q}}}$ with ${\displaystyle p\in \mathbb {Z} ,q\in \mathbb {Z} ^{+}}$. Define ${\displaystyle M}$ as the set of all ${\displaystyle \lambda \in \mathbb {R} ^{+}}$ for which only finitely many ${\displaystyle {\frac {p}{q}}}$ exist, such that the inequality is satisfied. Then ${\displaystyle \lambda (\alpha )=\inf M}$ is called an irrationality measure of ${\displaystyle \alpha }$ with regard to ${\displaystyle f.}$ If there is no such ${\displaystyle \lambda }$ and the set ${\displaystyle M}$ is empty, ${\displaystyle \alpha }$ is said to have infinite irrationality measure ${\displaystyle \lambda (\alpha )=\infty }$.

Consequently the inequality

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<f(q,\lambda (\alpha )+\varepsilon )}$

has at most only finitely many solutions ${\displaystyle {\frac {p}{q}}}$.^[1]

The irrationality exponent or Liouville–Roth irrationality measure is given by setting ${\displaystyle f(x,\mu )=x^{-\mu }}$,^[1] a definition adapting the one of Liouville numbers — the irrationality exponent ${\displaystyle \mu (x)}$ is defined to be the supremum of the set of ${\displaystyle \mu }$ such that ${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{\mu }}}}$ is satisfied by an infinite number of coprime integer pairs ${\displaystyle (p,q)}$ with ${\displaystyle q>0}$.^{[2][3]: 246} For any value ${\displaystyle n\leq \mu (\alpha )}$, the infinite set of all rationals ${\displaystyle p/q}$ satisfying the above inequality yields good approximations of ${\displaystyle \alpha }$. Conversely, if ${\displaystyle n>\mu (x)}$, then there are at most finitely many coprime ${\displaystyle (p,q)}$ with ${\displaystyle q>0}$ that satisfy the inequality.

For example, whenever a rational approximation ${\displaystyle \alpha \approx {\frac {p}{q}}}$, ${\displaystyle p,q\in \mathbb {N} }$ yields ${\displaystyle n+1}$ exact decimal digits, then

${\displaystyle {\frac {1}{10^{n}}}\geq \left|x-{\frac {p}{q}}\right|\geq {\frac {1}{q^{\mu (x)+\varepsilon }}}}$

for any ${\displaystyle \varepsilon >0}$, except for at most a finite number of "lucky" pairs ${\displaystyle (p,q)}$.

Rational numbers have irrationality exponent 1, while (as a consequence of Dirichlet's approximation theorem) every irrational number has irrationality exponent at least 2.

On the other hand, an application of Borel-Cantelli lemma shows that almost all numbers, including all algebraic numbers, have an irrationality exponent equal to 2.^[3]: 246

A number ${\displaystyle \alpha \in \mathbb {R} }$ with irrationality exponent ${\displaystyle \mu (\alpha )=2}$ is called a diophantine number,^[4] while numbers with ${\displaystyle \mu (\alpha )=\infty }$ are called Liouville numbers.

It is ${\displaystyle \mu (\alpha )=\mu (r\alpha +s)}$ for real numbers ${\displaystyle \alpha }$ and rational numbers ${\displaystyle r\neq 0}$ and ${\displaystyle s}$.

If a real number ${\displaystyle \alpha }$ is given by its simple continued fraction expansion ${\displaystyle \alpha =[a_{0};a_{1},a_{2},...]}$ with convergents ${\displaystyle p_{i}/q_{i}}$ then it holds:

${\displaystyle \mu (\alpha )=1+\limsup _{n\to \infty }{\frac {\ln q_{n+1}}{\ln q_{n}}}=2+\limsup _{n\to \infty }{\frac {\ln a_{n+1}}{\ln q_{n}}}}$.^[1]

Below is a table of known upper and lower bounds for the irrationality exponents of certain numbers.

Number ${\displaystyle x}$	Irrationality exponent ${\displaystyle \mu (\alpha )}$		Notes
	Lower bound	Upper bound
Rational number ${\displaystyle {\frac {p}{q}}}$ with ${\displaystyle p\in \mathbb {Z} ,q\in \mathbb {Z} ^{+}}$	1		Every rational number ${\displaystyle {\frac {p}{q}}}$ has an irrationality exponent of exactly 1.
Irrational algebraic number ${\displaystyle a}$	2		By Roth's theorem the irrationality exponent of any irrational algebraic number is exactly 2. Examples include square roots like ${\displaystyle {\sqrt {2}}}$ and the golden ratio ${\displaystyle \varphi }$.
${\displaystyle e^{2/k},k\in \mathbb {Z} ^{+}}$	2		If the elements ${\displaystyle a_{n}}$ of the simple continued fraction expansion of an irrational number ${\displaystyle \alpha }$ are bounded above ${\displaystyle a_{n}<P(n)}$ by an arbitrary polynomial ${\displaystyle P}$, then its irrationality exponent is ${\displaystyle \mu (\alpha )=2}$. Examples include numbers which continued fractions behave predictably such as: ${\displaystyle e=[2;1,2,1,1,4,1,1,6,1,1,...]}$ and ${\displaystyle I_{0}(1)/I_{1}(1)=[2;4,6,8,10,12,14,16,18,20,22...]}$
${\displaystyle \tanh \left({\frac {1}{k}}\right),k\in \mathbb {Z} ^{+}}$	2
${\displaystyle \tan \left({\frac {1}{k}}\right),k\in \mathbb {Z} ^{+}}$	2
${\displaystyle T(b)}$ with ${\displaystyle b\geq 2}$[5]	2		${\displaystyle T(b):=\sum _{k=0}^{\infty }t_{k}b^{-k}}$ where ${\displaystyle t_{k}}$ is the ${\displaystyle k}$-th term of the Thue–Morse sequence and ${\displaystyle b\in \mathbb {Z} }$. See Prouhet-Thue-Morse constant.
${\displaystyle \ln(2)}$[6][7]	2	3.57455...	There are other numbers of the form ${\displaystyle \ln a}$ for which bounds on their irrationality exponents are known.[8][9][10]
${\displaystyle \ln(3)}$[6][11]	2	5.11620...
${\displaystyle 5\ln(3/2)}$[12]	2	3.43506...	There are many other numbers of the form ${\displaystyle {\sqrt {2k+1}}\ln \left({\frac {{\sqrt {2k+1}}+1}{{\sqrt {2k+1}}-1}}\right)}$ for which bounds on their irrationality exponents are known.[12] This is the case for ${\displaystyle k=12}$.
${\displaystyle \pi /{\sqrt {3}}}$[13][14]	2	4.60105...	There are many other numbers of the form ${\displaystyle {\sqrt {2k-1}}\arctan \left({\frac {\sqrt {2k-1}}{k-1}}\right)}$ for which bounds on their irrationality exponents are known.[13] This is the case for ${\displaystyle k=2}$.
${\displaystyle \pi }$[6][15]	2	7.10320...	It has been proven that if the Flint Hills series ${\displaystyle \displaystyle \sum _{n=1}^{\infty }{\frac {\csc ^{2}n}{n^{3}}}}$ (where n is in radians) converges, then ${\displaystyle \pi }$'s irrationality exponent is at most 2.5;[16][17] and that if it diverges, the irrationality exponent is at least 2.5.[18]
${\displaystyle \pi ^{2}}$ and ${\displaystyle \zeta (2)}$[6][19]	2	5.09541...	${\displaystyle \pi ^{2}}$ and ${\displaystyle \zeta (2)}$ are linearly dependent over ${\displaystyle \mathbb {Q} }$.
${\displaystyle \arctan(1/2)}$[20]	2	9.27204...	There are many other numbers of the form ${\displaystyle \arctan(1/k)}$ for which bounds on their irrationality exponents are known.[21][22]
${\displaystyle \arctan(1/3)}$[23]	2	5.94202...
Apéry's constant ${\displaystyle \zeta (3)}$[6]	2	5.51389...
${\displaystyle \Gamma (1/4)}$[24]	2	10330
Cahen's constant ${\displaystyle C}$[25]	3
Champernowne constants ${\displaystyle C_{b}}$ in base ${\displaystyle b\geq 2}$[26]	${\displaystyle b}$		Examples include ${\displaystyle C_{10}=0.1234567891011...=[0;8,9,1,149083,1,...]}$
Liouville numbers ${\displaystyle L}$	${\displaystyle \infty }$		The Liouville numbers are precisely those numbers having infinite irrationality exponent.[3]: 248

The irrationality base or Sondow irrationality measure is obtained by setting ${\displaystyle f(x,\beta )=\beta ^{-x}}$.^[1][27] It is a weaker irrationality measure, being able to distinguish how well different Liouville numbers can be approximated, but yielding ${\displaystyle \beta (\alpha )=1}$ for all other real numbers:

Let ${\displaystyle \alpha }$ be an irrational number. If there exist real numbers ${\displaystyle \beta \geq 1}$ with the property that for any ${\displaystyle \varepsilon >0}$, there is a positive integer ${\displaystyle q(\varepsilon )}$ such that

${\displaystyle \left|\alpha -{\frac {p}{q}}\right|>{\frac {1}{(\beta +\varepsilon )^{q}}}}$

for all integers ${\displaystyle p,q}$ with ${\displaystyle q\geq q(\varepsilon )}$ then the least such ${\displaystyle \beta }$ is called the irrationality base of ${\displaystyle \alpha }$ and is represented as ${\displaystyle \beta (\alpha )}$

If no such ${\displaystyle \beta }$ exists, then ${\displaystyle \beta (\alpha )=\infty }$ and ${\displaystyle \alpha }$ is called a super Liouville number.

If a real number ${\displaystyle \alpha }$ is given by its simple continued fraction expansion ${\displaystyle \alpha =[a_{0};a_{1},a_{2},...]}$ with convergents ${\displaystyle p_{i}/q_{i}}$ then it holds:

${\displaystyle \beta (\alpha )=\limsup _{n\to \infty }{\frac {\ln q_{n+1}}{q_{n}}}=\limsup _{n\to \infty }{\frac {\ln a_{n+1}}{q_{n}}}}$.^[1]

Examples:

Any real number ${\displaystyle \alpha }$ with finite irrationality exponent ${\displaystyle \mu (\alpha )<\infty }$ has irrationality base ${\displaystyle \beta (\alpha )=1}$, while any number with irrationality base ${\displaystyle \beta (\alpha )>1}$ has irrationality exponent ${\displaystyle \mu (\alpha )=\infty }$ and is a Liouville number.

The number ${\displaystyle L=[1;2,2^{2},2^{2^{2}},...]}$ has irrationality exponent ${\displaystyle \mu (L)=\infty }$ and irrationality base ${\displaystyle \beta (L)=1}$.

The numbers ${\displaystyle \tau _{a}=\sum _{n=0}^{\infty }{\frac {1}{^{n}a}}=1+{\frac {1}{a}}+{\frac {1}{a^{a}}}+{\frac {1}{a^{a^{a}}}}+{\frac {1}{a^{a^{a^{a}}}}}+...}$ (${\displaystyle {^{n}a}}$ represents tetration, ${\displaystyle a=2,3,4...}$) have irrationality base ${\displaystyle \beta (\tau _{a})=a}$.

The number ${\displaystyle S=1+{\frac {1}{2^{1}}}+{\frac {1}{4^{2^{1}}}}+{\frac {1}{8^{4^{2^{1}}}}}+{\frac {1}{16^{8^{4^{2^{1}}}}}}+{\frac {1}{32^{16^{8^{4^{2^{1}}}}}}}+\ldots }$ has irrationality base ${\displaystyle \beta (S)=\infty }$, hence it is a super Liouville number.

Setting ${\displaystyle f(x,M)=(Mx)^{-2}}$ gives a stronger irrationality measure: the Markov constant ${\displaystyle M(\alpha )}$ of an irrational number ${\displaystyle \alpha \in \mathbb {R} \setminus \mathbb {Q} }$, the factor by which Dirichlet's approximation theorem can be improved for ${\displaystyle \alpha }$. Namely if ${\displaystyle A<M(\alpha )}$ is a positive real number, than the inequality

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{Aq^{2}}}}$

has infinitely many solutions ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$. If ${\displaystyle A>M(\alpha )}$ there are at most finitely many solutions.

Dirichlet's approximation theorem implies ${\displaystyle M(\alpha )\geq 1}$ and Hurwitz's theorem gives ${\displaystyle M(\alpha )\geq {\sqrt {5}}}$ both for irrational ${\displaystyle \alpha .}$^[28]

This is in fact the best general lower bound since the golden ratio gives ${\displaystyle M(\varphi )={\sqrt {5}}}$. It is also ${\displaystyle M({\sqrt {2}})=2{\sqrt {2}}}$.

Given ${\displaystyle \alpha =[a_{0};a_{1},a_{2},...]}$ by its simple continued fraction expansion, one may obtain ${\displaystyle M(\alpha )=\limsup _{n\to \infty }{([a_{n+1};a_{n+2},a_{n+3},...]+[0;a_{n},a_{n-1},...,a_{2},a_{1}])}}$.^[29]

Bounds for the Markov constant of ${\displaystyle \alpha =[a_{0};a_{1},a_{2},...]}$ can also be given by ${\displaystyle {\sqrt {p^{2}+4}}\leq M(\alpha )<p+2}$ with ${\displaystyle p=\limsup _{n\to \infty }a_{n}}$.^[30] This implies that ${\displaystyle M(\alpha )=\infty }$ if and only if ${\displaystyle (a_{k})}$ is not bounded and in particular, ${\displaystyle M(\alpha )<\infty }$ if ${\displaystyle \alpha }$ is a quadratic irrational number. A further consequence is ${\displaystyle M(e)=\infty }$.

Any number with ${\displaystyle \mu (\alpha )>2}$ or ${\displaystyle \beta (\alpha )>1}$ has an unbounded simple continued fraction and hence ${\displaystyle M(\alpha )=\infty }$.

For rational numbers ${\displaystyle r}$ it may be defined ${\displaystyle M(r)=0}$.

The values ${\displaystyle M(e)=\infty }$ and ${\displaystyle \mu (e)=2}$ imply that the inequality ${\displaystyle 0<\left|e-{\frac {p}{q}}\right|<{\frac {1}{Aq^{2}}}}$ has for all ${\displaystyle A\in \mathbb {R} ^{+}}$ infinitely many solutions ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$ while the inequality ${\displaystyle 0<\left|e-{\frac {p}{q}}\right|<{\frac {1}{q^{2+\varepsilon }}}}$ has for all ${\displaystyle \varepsilon \in \mathbb {R} ^{+}}$ only at most finitely many solutions ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$ . This gives rise to the question what the best upper bound is. The answer is given by:^[31]

${\displaystyle 0<\left|e-{\frac {p}{q}}\right|<{\frac {\ln \ln q}{(2+\varepsilon )q^{2}\ln q}}}$

which is satisfied by infinitely many ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$ for ${\displaystyle \varepsilon <0}$ but not for ${\displaystyle \varepsilon >0}$.

This makes the number ${\displaystyle e}$ alongside the rationals and quadratic irrationals an exception to the fact that for almost all real numbers ${\displaystyle \alpha \in \mathbb {R} }$ the inequality below has infinitely many solutions ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$:^[32]

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{2}\ln q}}}$

Kurt Mahler extended the concept of an irrationality measure and defined a so-called transcendence measure, drawing on the idea of a Liouville number and partitioning the transcendental numbers into three distinct classes.^[3]

Instead of taking for a given real number ${\displaystyle \alpha }$ the difference ${\displaystyle |\alpha -p/q|}$ with ${\displaystyle p/q\in \mathbb {Q} }$, one may instead focus on term ${\displaystyle |q\alpha -p|=|L(\alpha )|}$ with ${\displaystyle p,q\in \mathbb {Z} }$ and ${\displaystyle \deg L=1}$. Consider the following inequality:

${\displaystyle 0<|q\alpha -p|\leq \max(|p|,|q|)^{-\omega }}$ with ${\displaystyle p,q\in \mathbb {Z} }$ and ${\displaystyle \omega \in \mathbb {R} _{0}^{+}}$.

Define ${\displaystyle M}$ as the set of all ${\displaystyle \omega \in \mathbb {R} _{0}^{+}}$ for which infinitely many solutions ${\displaystyle p,q\in \mathbb {Z} }$ exist, such that the inequality is satisfied. Then ${\displaystyle \omega _{1}(\alpha )=\sup M}$ is Mahler's irrationality measure. It gives ${\displaystyle \omega _{1}(p/q)=0}$ for rational numbers, ${\displaystyle \omega _{1}(x_{0})=1}$ for algebraic irrational numbers and in general ${\displaystyle \omega _{1}(\alpha )=\mu (\alpha )-1}$, where ${\displaystyle \mu (\alpha )}$ denotes the irrationality exponent.

Mahler's irrationality measure can be generalized as follows:^[2][3] Take ${\displaystyle P}$ to be a polynomial with ${\displaystyle \deg P\leq n\in \mathbb {Z} ^{+}}$ and integer coefficients ${\displaystyle a_{i}\in \mathbb {Z} }$. Then define a height function ${\displaystyle H(P)=\max(|a_{0}|,|a_{1}|,...,|a_{n}|)}$ and consider for real numbers ${\displaystyle \alpha }$ the inequality:

${\displaystyle 0<|P(\alpha )|\leq H(P)^{-\omega }}$ with ${\displaystyle \omega \in \mathbb {R} _{0}^{+}}$.

Set ${\displaystyle M}$ to be the set of all ${\displaystyle \omega \in \mathbb {R} _{0}^{+}}$ for which infinitely many such polynomials exist, that keep the inequality is satisfied. Further define ${\displaystyle \omega _{n}(\alpha )=\sup M}$ for all ${\displaystyle n\in \mathbb {Z} ^{+}}$ with ${\displaystyle \omega _{1}(\alpha )}$ being the above irrationality measure, ${\displaystyle \omega _{2}(\alpha )}$ being a non-quadraticity measure, etc.

Then Mahler's transcendence measure is given by:

${\displaystyle \omega (\alpha )=\limsup _{n\to \infty }\omega _{n}(\alpha )}$.

The transcendental numbers can now be divided into the following three classes:

If for all ${\displaystyle n\in \mathbb {Z} ^{+}}$ the value of ${\displaystyle \omega _{n}(\alpha )}$ is finite and ${\displaystyle \omega (\alpha )}$ is finite as well, ${\displaystyle \alpha }$ is called an S-number.

If for all ${\displaystyle n\in \mathbb {Z} ^{+}}$ the value of ${\displaystyle \omega _{n}(\alpha )}$ is finite but ${\displaystyle \omega (\alpha )}$ is infinite, ${\displaystyle \alpha }$ is called an T-number.

If there exists a positive integer ${\displaystyle N}$ such that for all ${\displaystyle n\geq N}$ the ${\displaystyle \omega _{n}(\alpha )}$ are infinite, ${\displaystyle \alpha }$ is called an U-number.

The number ${\displaystyle \alpha }$ is algebraic if and only if ${\displaystyle \omega (\alpha )=0}$.

Almost all numbers are S-numbers, however the Liouville numbers are a subset of the U-numbers.

Another generalization of Mahler's irrationality measure gives a linear independence measure.^[2][8] For real numbers ${\displaystyle \alpha _{1},...,\alpha _{n}\in \mathbb {R} }$ consider the inequality

${\displaystyle 0<|c_{1}\alpha _{1}+...+c_{n}\alpha _{n}|\leq \max(|c_{1}|,...,|c_{n}|)^{-\nu }}$ with ${\displaystyle c_{1},...,c_{n}\in \mathbb {Z} }$ and ${\displaystyle \omega \in \mathbb {R} _{0}^{+}}$.

Define ${\displaystyle M}$ as the set of all ${\displaystyle \nu \in \mathbb {R} _{0}^{+}}$ for which infinitely many solutions ${\displaystyle c_{1},...c_{n}\in \mathbb {Z} }$ exist, such that the inequality is satisfied. Then ${\displaystyle \nu (\alpha _{1},...,\alpha _{n})=\sup M}$ is the linear independence measure.

If the ${\displaystyle \alpha _{1},...,\alpha _{n}}$ are linearly dependent over ${\displaystyle \mathbb {\mathbb {Q} } }$ then ${\displaystyle \nu (\alpha _{1},...,\alpha _{n})=0}$.

If ${\displaystyle 1,\alpha _{1},...,\alpha _{n}}$ are algebraic and linearly independent over ${\displaystyle \mathbb {\mathbb {Q} } }$ then ${\displaystyle \nu (1,\alpha _{1},...,\alpha _{n})\leq n}$.^[33]

It is further ${\displaystyle \nu (1,\alpha )=\omega _{1}(\alpha )=\mu (\alpha )-1}$.

Jurjen Koksma in 1939 proposed another generalization, similar to that of Mahler, based on approximations of real numbers by algebraic numbers.^[3][34]

For a given real number ${\displaystyle \alpha }$ take consider algebraic numbers ${\displaystyle \beta }$ of degree at most ${\displaystyle n}$. Define a height function ${\displaystyle H(\beta )=H(P)}$, where ${\displaystyle P}$ is the characteristic polynomial of ${\displaystyle \beta }$ and consider the inequality:

${\displaystyle 0<|\alpha -\beta |\leq H(\beta )^{-\omega ^{*}-1}}$ with ${\displaystyle \omega ^{*}\in \mathbb {R} _{0}^{+}}$.

Set ${\displaystyle M}$ to be the set of all ${\displaystyle \omega ^{*}\in \mathbb {R} _{0}^{+}}$ for which infinitely many such algebraic numbers ${\displaystyle \beta }$ exist, that keep the inequality is satisfied. Further define ${\displaystyle \omega _{n}^{*}(\alpha )=\sup M}$ for all ${\displaystyle n\in \mathbb {Z} ^{+}}$ with ${\displaystyle \omega _{1}^{*}(\alpha )=\mu (\alpha )-1}$ being an irrationality measure, ${\displaystyle \omega _{2}^{*}(\alpha )}$ being a non-quadraticity measure^[12], etc.

Then Koksma's transcendence measure is given by:

${\displaystyle \omega ^{*}(\alpha )=\limsup _{n\to \infty }\omega _{n}^{*}(\alpha )}$.

Given a real number ${\displaystyle \alpha \in \mathbb {R} }$ an irrationality measure of ${\displaystyle \alpha }$ quantifies how well it can be approximated by rational numbers ${\displaystyle {\frac {p}{q}}}$ with denominator ${\displaystyle q\in \mathbb {Z} ^{+}}$. If ${\displaystyle \alpha }$ is taken to be an algebraic number that is also irrational one may obtain that the inequality

${\displaystyle 0<\left|\alpha -{\frac {p}{q}}\right|<{\frac {1}{q^{\mu }}}}$

has only at most finitely many solutions ${\displaystyle {\frac {p}{q}}\in \mathbb {Q} }$ for ${\displaystyle \mu >2}$. This is known as Roth's theorem.

This can be generalized: Given a set of real numbers ${\displaystyle \alpha _{1},...,\alpha _{n}\in \mathbb {R} }$ one can quantify how well they can be approximated simultaneously by rational numbers ${\displaystyle {\frac {p_{1}}{q}},...,{\frac {p_{n}}{q}}}$ with the same denominator ${\displaystyle q\in \mathbb {Z} ^{+}}$. If the ${\displaystyle \alpha _{i}}$ are taken to be an algebraic number that, such that ${\displaystyle 1,\alpha _{1},...,\alpha _{n}}$ are linearly independent over the rational numbers ${\displaystyle \mathbb {Q} }$ it follows that the inequalities

${\displaystyle 0<\left|\alpha _{i}-{\frac {p_{i}}{q}}\right|<{\frac {1}{q^{\mu }}},\forall i\in \{1,...,n\}}$

have only at most finitely many solutions ${\displaystyle \left({\frac {p_{1}}{q}},...,{\frac {p_{n}}{q}}\right)\in \mathbb {Q} ^{n}}$ for ${\displaystyle \mu >1+{\frac {1}{n}}}$. This result is due to Wolfgang M. Schmidt.^[35][36]

• Diophantine approximation
• Transcendental number
• Continued fraction
• Brjuno number