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 - 61 * 547 * Pi^7 / (2^10 * 3^9 * 5).
Equals 1 + Sum_{k>=1} ( ((-1)^k/(6*k-1)^7 - (-1)^k/(6*k+1)^7) ).
EXAMPLE
0.9999884484387282478381315723917964998588...
MATHEMATICA
RealDigits[2 - 33367 * Pi^7 / 100776960, 10, 120][[1]] (* Amiram Eldar, Jun 20 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Jul 23 2021
STATUS
approved