cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A013665 Decimal expansion of zeta(7).

Original entry on oeis.org

1, 0, 0, 8, 3, 4, 9, 2, 7, 7, 3, 8, 1, 9, 2, 2, 8, 2, 6, 8, 3, 9, 7, 9, 7, 5, 4, 9, 8, 4, 9, 7, 9, 6, 7, 5, 9, 5, 9, 9, 8, 6, 3, 5, 6, 0, 5, 6, 5, 2, 3, 8, 7, 0, 6, 4, 1, 7, 2, 8, 3, 1, 3, 6, 5, 7, 1, 6, 0, 1, 4, 7, 8, 3, 1, 7, 3, 5, 5, 7, 3, 5, 3, 4, 6, 0, 9, 6, 9, 6, 8, 9, 1, 3, 8, 5, 1, 3, 2
Offset: 1

Views

Author

Keywords

Comments

From Dimitris Valianatos, Apr 29 2020: (Start)
Let p_n = Product_{k >= 1, 4*k-1 is prime} (((4*k - 1)^n + 1) / ((4*k - 1)^n - 1)).
Then (2^(n + 1) / (2^n - 1)) * Sum_{k >= 1} 1 / (4*k - 3)^n = ((p_n + 1) / p_n) * Sum_{k >= 1} 1 / k^n = ((p_n + 1) / p_n) * zeta(n), n >= 3 odd number.
For n = 7, p_7 = 1.00091744947834007403796003463414...
The product (256 / 127) * Sum_{k >= 1} 1 / (4*k - 3)^7 = 2.01577429320860871987548541116538... is equal to the product ((p_7 + 1) / p_7) * Sum_{k >= 1} 1 / k^7 = 1.9990833914636834116748... * zeta(7) = 2.01577429320860871987548541116538... (End)

Examples

			1.0083492773819228268397975498497967595998635605652387064172831365716014...
		

References

  • M. Abramowitz and I. A. Stegun, eds., Handbook of Mathematical Functions, National Bureau of Standards Applied Math. Series 55, 1964 (and various reprintings), p. 811.
  • John H. Conway and Richard K. Guy, The Book of Numbers, New York: Springer-Verlag, 1996. See p. 262.
  • Steven R. Finch, Mathematical Constants, Encyclopedia of Mathematics and its Applications, vol. 94, Cambridge University Press, 2003, Section 1.6.3, p. 43.

Crossrefs

Programs

Formula

zeta(7) = Sum_{n >= 1} (A010052(n)/n^(7/2)) = Sum_{n >= 1} ( (floor(sqrt(n))-floor(sqrt(n-1)))/n^(7/2) ). - Mikael Aaltonen, Feb 22 2015
zeta(7) = Product_{k>=1} 1/(1 - 1/prime(k)^7). - Vaclav Kotesovec, Apr 30 2020
From Artur Jasinski, Jun 27 2020: (Start)
zeta(7) = (-1/840)*Integral_{x=0..1} log(1-x^6)^7/x^7.
zeta(7) = (1/720)*Integral_{x=0..oo} x^6/(exp(x)-1).
zeta(7) = (4/2835)*Integral_{x=0..oo} x^6/(exp(x)+1).
zeta(7) = (1/(182880*Zeta(1/2)^7))*(-61*Pi^7*zeta(1/2)^7 + 2880* zeta'(1/2)^7 - 10080*zeta(1/2)*zeta'(1/2)^5*zeta''(1/2) + 10080* zeta(1/2)^2*zeta'(1/2)^3*zeta''(1/2)^2 - 2520*zeta(1/2)^3*zeta'(1/2)* zeta''(1/2)^3 + 3360*zeta(1/2)^2*zeta'(1/2)^4*zeta'''(1/2) - 5040 zeta(1/2)^3*zeta'(1/2)^2*zeta''(1/2)*zeta'''(1/2) + 840*zeta(1/2)^4* zeta''(1/2)^2*zeta'''(1/2) + 560*zeta(1/2)^4*zeta'(1/2)*zeta'''(1/2)^3 - 840*zeta(1/2)^3*zeta'(1/2)^3*zeta''''(1/2) + 840*zeta(1/2)^4*zeta'(1/2)* zeta''(1/2)*zeta''''(1/2) - 140*zeta(1/2)^5*zeta'''(1/2)*zeta''''(1/2) + 168*zeta(1/2)^4*zeta'(1/2)^2*zeta'''''(1/2) - 84*zeta(1/2)^5*zeta''(1/2)* zeta'''''(1/2) - 28*zeta(1/2)^5*zeta'(1/2)*zeta''''''(1/2) + 4* zeta(1/2)^6*zeta'''''''(1/2)). (End)
Equals 19*Pi^7/56700 - 2*Sum_{k>=1} 1/(k^7*(exp(2*Pi*k) - 1)) [Grosswald] (see Finch). - Stefano Spezia, Nov 01 2024
From Peter Bala, Apr 27 2025: (Start)
zeta(7) = 1/7! * Integral_{x >= 0} x^7 * exp(x)/(exp(x) - 1)^2 dx = 2^6/(2^6 - 1) * 1/7! * Integral_{x >= 0} x^7 * exp(x)/(exp(x) + 1)^2 dx.
zeta(7) = 1/8! * Integral_{x >= 0} x^8 * exp(x)*(exp(x) + 1) /(exp(x) - 1)^3 dx = 1/ (2*3*7*15*63) * Integral_{x >= 0} x^8 * exp(x)*(exp(x) - 1)/(exp(x) + 1)^3 dx. (End)