The irrationality measure of \(\pi\) is at most 7.103205334137\dots (Q2211271)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The irrationality measure of \(\pi\) is at most 7.103205334137\dots |
scientific article |
Statements
The irrationality measure of \(\pi\) is at most 7.103205334137\dots (English)
0 references
10 November 2020
0 references
The main result of this paper is that the irrationality measure exponent of the number \(\pi\) is less than \(7.103205334138\). The proof uses complex analysis, is based on clever calculating of special integral and is in the spirit of Salikov.
0 references
\( \pi \)
0 references
irrationality measure exponent
0 references
experimental mathematics
0 references
Almkvist-Zeilberger algorithm
0 references
