|
%I #9 Feb 08 2023 08:49:25
%S 8,6,5,8,9,5,3,7,5,3,0,0,4,6,9,4,1,8,2,8,4,5,9,7,6,9,7,5,2,1,8,1,2,4,
%T 2,0,9,4,5,2,5,2,7,4,3,9,4,8,1,8,7,1,8,0,6,1,2,5,5,9,0,4,1,7,5,4,9,8,
%U 5,0,4,9,2,3,5,6,1,0,0,4,6,4,3,9,0,9,0,7,5,8,0,4,9,2,1,1,5,4,0,2,0,0,4,6,1
%N Decimal expansion of csch(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 1/sinh(Pi).
%F Equals 2/A175315.
%F Equals (2*e^Pi)/(e^(2*Pi) - 1).
%F Equals 1/(e^Pi + 1) + 1/(e^Pi - 1).
%F Equals Sum_{k>=0} 2*e^(-2*Pi*k - Pi).
%F Equals lim_{n->oo} (2*e^(Pi - 2*Pi*n))*(e^(2*Pi*n) - 1)/(e^(2*Pi) - 1).
%e 0.086589537530046941828459769752181242094525274394818718061255904175...
%t RealDigits[Csch[Pi], 10, 105][[1]]
%Y Cf. A175315.
%K cons,nonn
%O -1,1
%A _Wolfe Padawer_, Jan 28 2023
|
