A new upper bound for the irrationality exponent of $\zeta(2)$
We prove that the irrationality exponent of $\zeta(2)=\pi^2/6$ satisfies $\mu(\zeta(2))<5.0193784$. The best published bound is 5.095412 (Zudilin, 2014); a bound 5.0495243 with a machine-checked proof was made public in September 2026 by J. Kleid. We use Zudilin's two hypergeometric constructions at a new choice of par...