The Irrationality Measure of Pi is at most 7.103205334137...

By Doron Zeilberger and Wadim Zudilin


.pdf   .ps   .tex

To appear in Moscow Journal of Combinatorics and Number Theory

First Written: Dec. 12, 2019; This version: Jan. 7, 2020.


    In memory of Naum Il'ich Feldman (1918-1994)



We use a variant of V. Kh. Salikhov's ingenious proof that the irrationality measure of Pi is at most 7.606308 to prove that, in fact, it is at most 7.103205334137...


Note: If you google "Irrationality measure of Pi" you would get this erroneous paper. Buyers beware!


Maple packages


Sample Input and Output for SALIKHOVpi.txt

Added Jan. 13, 2020: For those skeptics who doubt the identity at the bottom of page 7 of the paper
the input file generates the following output file with a fully rigorous proof (thanks to Shalosh B, Ekhad).


Wadim Zudilin's Home Page

Articles of Doron Zeilberger

Doron Zeilberger's Home Page