El contexto.
Para cualquier número real $x$, vamos a definir la cantidad
$$\mu(x):=\sup\left\{\mu\in\mathbb R_+\, \text{there is an infinity of rationals $p/p$ such that}\ \left\vert x-\frac pq\right\vert<\frac 1{q^{\mu}}\right\},$$
y vamos a llamar a la irracionalidad de la medida de $x$.
Sabemos que
$$\mu(\pi)\leqslant 8.016$$
gracias a M. Hata (1992).
La pregunta.
Podemos leer en esta página de Wikipedia que
\begin{equation} \mu(\pi)\leqslant 7.6063, \end{equation}
pero esto es proporcionada sin ninguna referencia.
¿Conoces algún artículo donde se podía encontrar una mención de este resultado?
No esta obligado ha mejorado.
