The irrationality measure of is at most 7.103205334137\dots

DOI10.2140/MOSCOW.2020.9.407zbMATH Open1456.11129arXiv1912.06345OpenAlexW3097927884MaRDI QIDQ2211271FDOQ2211271

Authors: Doron Zeilberger, Wadim Zudilin 

Publication date: 10 November 2020

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

Abstract: We use a variant of Salikhov's ingenious proof that the irrationality measure of $pi$ is at most $7.606308dots$ to prove that, in fact, it is at most $7.103205334137dots$. Accompanying Maple package: While this article has a fully rigorous human-made and human-readable proof of the claim in the title, it was discovered thanks to the Maple package available from http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/pimeas.html

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

Recommendations

• On the irrationality measure of $ \pi$
• On the measure of irrationality of the number \(\pi \)
• Improvement in the irrationality measures of \(\pi\) and \(\pi^ 2\)
• On the irrationality measure of \(\zeta (2)\)
• Rational approximations to π and some other numbers

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• On some methods of evaluating irrationality measure of the function \(\arctan x\) values
• On the complexity of algebraic numbers, and the bit-complexity of straight-line programs1
• Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
• On the Dirichlet problem in rectangular domain for Lavrentiev-Bitsadze equation
• On the irrationality measure of $ \pi$
• Integral Recurrences from A to Z
• Stability Results for Novel Serially-Connected Magnetizable Piezoelectric and Elastic Smart-System Designs
• On the measure of irrationality of the number \(\pi \)
• Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
• Rational approximations of irrational numbers

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2211271)