the.bay.news

The irrationality measure of π is at most 7.101862832357

arXiv.org
The irrationality measure of π is at most 7.101862832357
We introduce two independent numerator exponents into the Zeilberger--Zudilin integral and specialize them to \[ A_1=A_2=\frac{1857}{2785}. \] The resulting integer linear forms in $1$ and $π$ prove \[ μ(π)<7.101862832357. \] This lowers the Zeilberger--Zudilin upper bound $7.103205334137\ldots$ by more than $0.001342501780$; the difference between the unrounded bounds is $0.0013425017806509\ldots$, approximately $0.01890\%$. The same parameter point is a strict two-dimensional local minimizer of the explicit auxiliary upper-bound function in its admissible arithmetic chamber. This is a local statement about that function, not a claim that the point is a global optimizer among all constructions.

0 comments

Sign in to join the discussion — your thebay.events account works here.

No comments yet.