OFFSET
0,1
LINKS
L. B. W. Jolley, Summation of Series, Dover, 1961, Eq. (944).
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals exp(2*Pi) / (1 + exp(2*Pi)).
Equals Sum_{k>=0} (-1)^k * exp(-2*Pi*k).
EXAMPLE
0.99813603811037497213234529000626835594844959540...
MATHEMATICA
RealDigits[(1 + Tanh[Pi])/2, 10, 120][[1]] (* Amiram Eldar, Jun 07 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 14 2021
STATUS
approved