|
Abstract
|
We use a variant of Salikhov’s ingenious proof that the irrationality measure of
is at most
to prove that, in
fact, it is at most
.
|
In memory of Naum Il'ich Feldman
(1918–1994)
|
Keywords
$\pi$, irrationality measure, experimental mathematics,
Almkvist–Zeilberger algorithm
|
Mathematical Subject Classification 2010
Primary: 11J82
Secondary: 11Y60, 33F10, 33C60
|
Milestones
Received: 13 December 2019
Revised: 7 January 2020
Accepted: 24 May 2020
Published: 5 November 2020
|
|