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.

A088367 Decimal expansion of Krivine's bound for Grothendieck's constant, Pi/(2*log(1+sqrt(2))).

Original entry on oeis.org

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

Views

Author

Eric W. Weisstein, Sep 27 2003

Keywords

Comments

Krivine (1977) proved that Grothendieck's constant <= Pi/(2*log(1+sqrt(2))), and conjectured that this bound is the exact value of the constant. His conjecture was refuted by Braverman et al. (2013). - Amiram Eldar, Jun 24 2021

Examples

			1.7822139781913691117744134529725493407917319097732...
		

References

  • Steven R. Finch, Mathematical Constants, Cambridge University Press, 2003, section 3.11, pp. 235-237.

Programs

  • Magma
    SetDefaultRealField(RealField(150)); R:= RealField(); Pi(R)/(2*Log(1 + Sqrt(2))) // G. C. Greubel, Mar 27 2018
  • Mathematica
    RealDigits[Pi/(2*Log[1 + Sqrt[2]]), 10, 111][[1]] (* Robert G. Wilson v, May 19 2004 *)
  • PARI
    Pi/(2*log(1 + sqrt(2))) \\ G. C. Greubel, Mar 27 2018
    

Extensions

Edited by N. J. A. Sloane, Oct 01 2006
Named edited by Amiram Eldar, Jun 24 2021