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.

Showing 1-1 of 1 results.

A254666 Decimal expansion of the right Alzer's constant.

Original entry on oeis.org

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

Views

Author

Roman Witula, Feb 04 2015

Keywords

Comments

The right Alzer's constant x is defined to be the best constant in the right Alzer's inequality: abs(cos a + sin a) <= x*abs(cos(cos a) + cos(sin a)), where a is any real number.

Examples

			0.9301043163036166822994530624072616003335332058073463854808289441...
		

Crossrefs

Cf. A254615.

Programs

  • Mathematica
    RealDigits[1/(Sqrt[2]*Cos[1/Sqrt[2]]), 10, 120][[1]] (* Amiram Eldar, Jun 12 2023 *)
  • PARI
    1/(sqrt(2)*cos(1/sqrt(2))) \\ Michel Marcus, Feb 05 2015

Formula

Equals (sqrt(2)*cos(1/sqrt(2)))^(-1).

Extensions

a(99) corrected by Georg Fischer, Aug 12 2021
Showing 1-1 of 1 results.