%I #15 Mar 13 2023 09:15:29
%S 1,2,4,6,8,5,0,2,1,9,8,6,2,9,1,5,8,9,9,2,5,0,3,6,8,8,6,1,0,1,0,9,7,7,
%T 6,0,6,4,2,5,8,2,8,5,7,4,2,1,5,4,3,1,5,8,4,9,5,0,4,1,0,9,1,7,8,9,4,3,
%U 2,3,9,7,3,9,6,2,2,0,1,6,0,9,1,2,1,6,7,9,3,5,3,7,3,2,1,0,4,1,9,0,2,0,4,8,0
%N Decimal expansion of arcsec(Pi).
%H Michael I. Shamos, <a href="http://euro.ecom.cmu.edu/people/faculty/mshamos/cat.pdf">A catalog of the real numbers</a> (2011).
%F Equals Pi/2 - arccsc(Pi).
%F Equals arcsin(sqrt(1 - 1/Pi^2)).
%F Equals arctan(sqrt(Pi^2 - 1)).
%F Equals |arcsech(Pi)|.
%F Equals arccos(1/Pi).
%e 1.246850219862915899250368861010977606425828574215431584950410917894...
%t RealDigits[ArcSec[Pi], 10, 105][[1]]
%Y Cf. A232272, A232273, A360701.
%K cons,nonn
%O 1,2
%A _Wolfe Padawer_, Feb 16 2023