OFFSET
0,1
REFERENCES
L. B. W. Jolley, Summation of Series, Dover, 1961, Eq. (310).
LINKS
Michael I. Shamos, Shamos's catalog of the real numbers (2011).
FORMULA
Equals 2^3 * 7 * Pi^7 / (3^9 * 5 * sqrt(3)).
Equals 1 + Sum_{k>=1} ( 1/(3*k+1)^7 - 1/(3*k-1)^7 ).
Equals Product_{p prime} (1 - Kronecker(-3, p)/p^7)^(-1) = Product_{p prime != 3} (1 + (-1)^(p mod 3)/p^7)^(-1). - Amiram Eldar, Nov 06 2023
EXAMPLE
0.9922365295225111693516317453513060...
MATHEMATICA
RealDigits[56 * Pi^7 / (98415 * Sqrt[3]), 10, 120][[1]] (* Amiram Eldar, Jun 07 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Sean A. Irvine, Aug 17 2021
STATUS
approved