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.

A157259 Decimal expansion of 7 - 2*sqrt(2).

Original entry on oeis.org

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

Views

Author

Klaus Brockhaus, Feb 26 2009

Keywords

Comments

lim_{n -> infinity} b(n)/b(n-1) = (7+2*sqrt(2))/(7-2*sqrt(2)) for n mod 3 = {1, 2}, b = A129288.
lim_{n -> infinity} b(n)/b(n-1) = (7+2*sqrt(2))/(7-2*sqrt(2)) for n mod 3 = {0, 2}, b = A157257.

Examples

			7 - 2*sqrt(2) = 4.17157287525380990239...
		

Crossrefs

Cf. A129288, A157257, A157258 (decimal expansion of 7+2*sqrt(2)), A157260 (decimal expansion of (7+2*sqrt(2))/(7-2*sqrt(2))).

Programs

Formula

Equals 3 + Sum_{k>=0} binomial(2*k,k)/((k+1) * 8^k). - Amiram Eldar, Aug 03 2020
Equals 4 + exp(-arccosh(3)). - Amiram Eldar, Jul 06 2023
Equals 4 + (2-sqrt(2))/(2+sqrt(2)). - Davide Rotondo, Jun 08 2024