1565386domain: NAppears in sequencesApproximation of the 2-adic integer arctan(2) up to 2^n.at n=21A309751Approximation of the 2-adic integer arctan(2) up to 2^n.at n=22A309751