login
A346849
Decimal expansion of 2 - 307 * Pi^7 / (655360 * sqrt(2)).
3
9, 9, 9, 5, 5, 6, 5, 2, 5, 3, 9, 4, 3, 4, 4, 9, 9, 6, 4, 2, 6, 9, 7, 2, 4, 9, 4, 6, 3, 5, 5, 1, 7, 7, 0, 1, 4, 8, 2, 5, 0, 1, 7, 1, 1, 1, 9, 9, 8, 9, 1, 9, 7, 1, 3, 6, 7, 1, 4, 0, 0, 7, 1, 6, 5, 6, 9, 3, 7, 9, 7, 9, 2, 4, 1, 8, 5, 1, 9, 0, 6, 7, 7, 1, 7, 0, 7
OFFSET
0,1
REFERENCES
L. B. W. Jolley, Summation of Series, Dover, 1961, Eq. (326).
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