The irrationality measure of arctan1/2 is at most 8.585166
Yufei Bai
Abstract
This paper establishes a new upper bound for the irrationality measure of arctan(1/2), namely 8.585166... Following the strategy and proof techniques of Zudilin and Zeilberger (who improved the bound for pi), we use a family of complex contour integrals with symmetric integrands. The integrality and divisibility of the partial-fraction coefficients are derived via p-adic valuations and a specially defined prime set Pn. Combined with saddle-point asymptotics, the growth rates of the integral sequence and its rational/logarithmic components yield the desired irrationality measure.
Create a lesson
Related papers
Explicit equations of Galois subfields of Hermitian function fields with respect to decomposition groups
Liming Ma, Yipeng Wang
Tunnell-type criteria for variants of the congruent number problem
Bo-Hae Im, Minseo Shin
A uniform effective André--Oort result
Guy Fowler
On a conjecture of Browning and Sawin on random hypersurfaces with sign coefficients
Ken Ono, Ashvin Swaminathan
On Multiple Eisenstein Series in Positive Characteristic: Direct Sum Result
Chieh-Yu Chang, Song-Yun Chen, Fei-Jun Huang et al.
Stable Trace Formula for Newton strata of Shimura varieties
Dhruva Kelkar