47702730domain: NAppears in sequencesApproximation of the 2-adic integer arctan(2) up to 2^n.at n=26A309751Approximation of the 2-adic integer arctan(2) up to 2^n.at n=27A309751