The irrationality measure of is at most 7.103205334137\dots

DOI10.2140/MOSCOW.2020.9.407MaRDI QIDQ2211271zbMATHOpenAlexFDO

Authors 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) 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)

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

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

Cites work

• scientific article; zbMATH DE number 3661429 (Why is no real title available?)
• scientific article; zbMATH DE number 3085862 (Why is no real title available?)
• A Note on the Irrationality of ζ(2) and ζ(3)
• 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.
• Rational approximations to π and some other numbers
• Super ballot numbers
• The method of differentiating under the integral sign

Cited in

(12)

• On the irrationality measure of $ \pi$
• Integral recurrences from A to Z
• The irrationality measure of \(\pi\) as seen through the eyes of \(\cos (n)\)
• Stability Results for Novel Serially-Connected Magnetizable Piezoelectric and Elastic Smart-System Designs
• Irrationality measure and lower bounds for $\pi (x)$
• 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 complexity of algebraic numbers, and the bit-complexity of straight-line programs1
• Elementary analytic functions in \(\mathsf{VT}\mathsf{C}^0\)
• On some methods of evaluating irrationality measure of the function \(\arctan x\) values
• On the measure of irrationality of the number \(\pi \)
• 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)