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