516810domain: NAppears in sequencesApproximation of the 2-adic integer arctan(2) up to 2^n.at n=19A309751Approximation of the 2-adic integer arctan(2) up to 2^n.at n=20A309751