arXiv++ Combinatorics

In a spirit of Apéry's proof of the irrationality of $ζ(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $ζ_2(5)$ which satisfy $0 < |ζ_2(5)-p_n/q_n|_2 < \max\{|p_n|,|q_n|\}^{-1-δ}$ for an explicit constant $δ>0$. This leads to a new proof of the irrationality of $ζ_2(5)$, the result established recently by Calegari, Dimitrov and Tang using a different method. Furthermore, our approximations allow us to obtain an upper bound for the irrationality measure of this $2$-adic quantity; namely, we show that $μ(ζ_2(5)) \le (16\log2)/(8\log2-5) = 20.342\dots$.

Building upon ideas of the second and third authors, we prove that at least $2^{(1-\varepsilon)\frac{\log s}{\log\log s}}$ values of the Riemann zeta function at odd integers between 3 and $s$ are irrational, where $\varepsilon$ is any positive real number and $s$ is large enough in terms of $\varepsilon$. This lower bound is asymptotically larger than any power of $\log s$; it improves on the bound $\frac{1-\varepsilon}{1+\log2}\log s$ that follows from the Ball--Rivoal theorem. The proof is based on construction of several linear forms in odd zeta values with related coefficients.