A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal
Salikhov (2008), Zeilberger-Zudilin (2020) and Bai (2026) bound the irrationality measure of pi with the same shape of complex integral. This note gives one closed-form law mu(a0,a1,b) for the whole family, shows that it reproduces all three published records, proves that it is exactly scale-invariant, and gives evidence that Bai's parameter point is the global optimum of the family - a statement Bai explicitly declines to make about her own result. The admissible configurations are forced by a Machin condition: zeros at 0, +-w, +-wbar and poles at +-P give a linear form in 1 and pi if and…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.37459
curl -X POST /api/v1/records/arxiv/2609.37459/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.37459/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'