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