PreprintCC BY 4.0arXiv
A new upper bound for the irrationality exponent of ζ(2)
Abstract
We prove that the irrationality exponent of ζ(2)=π2/6 satisfies μ(ζ(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 parameters. The two families of linear forms in 1 and ζ(2) so obtained coincide for every sufficiently large index: this coincidence, an instance of an identity conjectured by Zudilin, is established by comparing an arithmetic bound for the denominators of the difference with an analytic bound for its size, without creative telescoping. All numerical constants are certified in ball arithmetic.
Related
- A new upper bound for the irrationality exponent of zeta(3)
- A new upper bound for the irrationality exponent of ζ(5)
- An Upper Bound to the Undetected Error Exponent with Erasure Decoding at Positive Rates
- Ideal-Smooth Sets and an Explicit Upper Bound for the Real Sum-Product Exponent
- A degree-linear upper bound for the Pólya exponent of forms with fixed arity
BibTeX
@misc{giraudin2026upper,
title = {{A new upper bound for the irrationality exponent of $ζ(2)$}},
author = {David Niedbala Giraudin},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.02912},
eprint = {2610.02912},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.02912},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A new upper bound for the irrationality exponent of ζ(2)
AU - David Niedbala Giraudin
PY - 2026
DA - 2026/10/02
PB - arXiv
DO - 10.48550/arxiv.2610.02912
UR - https://arxiv.org/abs/2610.02912
AB - We prove that the irrationality exponent of ζ(2)=π^2/6 satisfies μ(ζ(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 parameters. The two families of linear forms in 1 and ζ(2) so obtained coincide for every sufficiently large index: this coincidence, an instance of an identity conjectured by Zudilin, is established by comparing an arithmetic bound for the denominators of the difference with an analytic bound for its size, without creative telescoping. All numerical constants are certified in ball arithmetic.
ER -