Two hypergeometric tales and a new irrationality measure of $\zeta(2)$

Abstract

We prove the new upper bound 5.095412 for the irrationality exponent of $\zeta(2)=\pi^2/6$; the earlier record bound 5.441243 was established in 1996 by G. Rhin and C. Viola.Comment: 17 page