14148298domain: NAppears in sequencesApproximation of the 2-adic integer arctan(2) up to 2^n.at n=24A309751Approximation of the 2-adic integer arctan(2) up to 2^n.at n=25A309751