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 - 307 * Pi^7 / (5 * 2^17 * sqrt(2)).
Equals 1 + Sum_{k>=1} ( (-1)^k/(4*k-1)^7 - (-1)^k/(4*k+1)^7 ).
EXAMPLE
0.99955652539434499642697249463551770148250...
MATHEMATICA
RealDigits[2 - 307*Pi^7/(655360*Sqrt[2]), 10, 120][[1]] (* Amiram Eldar, Jun 13 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 06 2021
STATUS
approved