The irrationality measure of \(\pi\) is at most 7.103205334137\dots

DOI10.2140/moscow.2020.9.407zbMath1456.11129arXiv1912.06345OpenAlexW3097927884MaRDI QIDQ2211271

Doron Zeilberger, Wadim Zudilin

Publication date: 10 November 2020

Published in: Moscow Journal of Combinatorics and Number Theory (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1912.06345

zbMATH Keywords

experimental mathematicsirrationality measure exponent\( \pi \)Almkvist-Zeilberger algorithm

Mathematics Subject Classification ID

Measures of irrationality and of transcendence (11J82) Hypergeometric integrals and functions defined by them ((E), (G), (H) and (I) functions) (33C60) Evaluation of number-theoretic constants (11Y60) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (6)

Integral Recurrences from A to Z ⋮ Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry ⋮ On the complexity of algebraic numbers, and the bit-complexity of straight-line programs1 ⋮ On the Dirichlet problem in rectangular domain for Lavrentiev-Bitsadze equation ⋮ Rational approximations of irrational numbers ⋮ Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)

Cites Work

• Unnamed Item
• Unnamed Item
• The method of differentiating under the integral sign
• Super ballot numbers
• A lower bound for rational approximations to \(\pi\)
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Legendre type polynomials and irrationality measures.
• A Note on the Irrationality of ζ(2) and ζ(3)
• Rational approximations to π and some other numbers

This page was built for publication: The irrationality measure of \(\pi\) is at most 7.103205334137\dots