OFFSET
0,1
REFERENCES
L. B. W. Jolley, Summation of Series, Dover, 1961, Eq. (306).
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals (255/256) * zeta(9).
Equals Sum_{k>=1} (-1)^(k+1) / k^9.
Equals eta(9).
EXAMPLE
0.998094297541605330767783031852597950...
MATHEMATICA
First[RealDigits[N[DirichletEta[9], 87]]] (* Stefano Spezia, Aug 15 2021 *)
PROG
(PARI) -polylog(9, -1) \\ Michel Marcus, Aug 15 2021
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 14 2021
STATUS
approved