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