%I #26 Jan 03 2025 11:48:36
%S 3,0,8,1,6,9,0,7,1,1,1,5,9,8,4,9,3,5,7,8,6,9,9,9,6,0,8,0,3,4,0,5,3,0,
%T 9,8,5,8,9,6,3,7,0,2,9,2,6,3,1,6,9,3,1,3,5,1,3,6,6,2,3,4,3,9,0,1,6,8,
%U 2,9,0,0,4,5,1,3,7,0,5,3,3,9,6,8,9
%N Decimal expansion of arctan(1/Pi).
%D Jerome Spanier and Keith B. Oldham, "Atlas of Functions", Hemisphere Publishing Corp., 1987, chapter 35, page 338.
%F Equals A019669 - A232273.
%F Equals Sum_{i>=0} (-1)^k/((1+2*k)*Pi^(1+2*k)).
%F From _Wolfe Padawer_, Feb 16 2023: (Start)
%F Equals arccot(Pi).
%F Equals arcsin(1/sqrt(Pi^2 + 1)).
%F Equals arccos(1/sqrt(1 + 1/Pi^2)). (End)
%e 0.30816907111598493578699960803405309858963702926316931351366234390168...
%t RealDigits[ArcTan[1/Pi], 10, 90][[1]]
%o (PARI) atan(1/Pi) \\ _Charles R Greathouse IV_, Nov 26 2024
%Y Cf. A019669, A049541, A232247, A232273.
%K nonn,cons
%O 0,1
%A _Bruno Berselli_, Nov 22 2013