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.

A295232 Denominator of (-1)^(n+1) * (2*n)! * (2^(2*n)+1)/(B_{2*n} * 2^(4*n-1)), where B_{n} is the Bernoulli number.

Original entry on oeis.org

1, 2, 8, 64, 128, 1024, 2830336, 32768, 118521856, 11499470848, 183092903936, 651652235264, 3965531409350656, 88306004000768, 1821484971735384064, 7400951301593676906496, 16555640873195841519616, 2604961188466481168384
Offset: 0

Views

Author

Seiichi Manyama, Nov 18 2017

Keywords

Comments

Pi^(2*n) > A295231(n)/a(n) for n > 0.

Examples

			Zeta(2) = Pi^2/6   > 1 + 1/2^2, so Pi^2 >    15/2.
Zeta(4) = Pi^4/90  > 1 + 1/2^4, so Pi^4 >   765/8.
Zeta(6) = Pi^6/945 > 1 + 1/2^6, so Pi^6 > 61425/64.
		

Crossrefs

Cf. A002432/A046988, A295231 (numerators).

Programs

  • PARI
    {a(n) = denominator((-1)^(n+1)*(2*n)!*(2^(2*n)+1)/(bernfrac(2*n)*2^(4*n-1)))}