The irrationality measure of π is at most 7.101862832357

Source abstract

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.