{"id":"arxiv/2609.37459","url":"https://arxiv.org/abs/2609.37459","tags":["math.NT"],"score":0,"title":"A closed-form law for the Salikhov-Zeilberger-Zudilin-Bai family, and computational evidence that Bai's point is optimal","domain":"math.NT","source":"arxiv","authors":["David Niedbala Giraudin"],"reviews":0,"subject":"math.NT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-28","reactions":{}}