A030125 -id:A030125 - cp's OEIS frontend

A002065 a(n+1) = a(n)^2 + a(n) + 1.

0, 1, 3, 13, 183, 33673, 1133904603, 1285739649838492213, 1653126447166808570252515315100129583, 2732827050322355127169206170438813672515557678636778921646668538491883473

Offset: 0

N. J. A. Sloane

a(n) is the number of trees of height <= n, generated by unary and binary composition: S = x + (S) + (S,S) = x + (x) + (x,x) + (x,(x)) + ((x),x) + ((x)) + ((x),(x)) + (x,(x,x)) + ((x,x),x) + ((x),(x,x)) + ((x,x),(x)) + ((x,x)) + ((x,x),(x,x)) + ... (x is of height 1); the first difference sequence (beginning with 1), 1 2 10 170 33490 1133870930..., gives the number h(n) of these trees whose height is n, h(n + 1) = h(n) + h(n)*h(n) + 2h(n)*a(n-1), h(1) = 1; as h(n + 1)/h(n) = 1 + a(n) + a(n-1) gives sequence 1, 2, 10 (2*5), 170 (2*5*17), 33490 (2*5*17*197), 1133870930 (2*5*17*197*33877), ... - Claude Lenormand (claude.lenormand(AT)free.fr), Sep 05 2001

This is a divisibility sequence, that is, if n divides m, then a(n) divides a(m). This is a particular case of the result: if p(x) is an integral polynomial then the sequence of n-th iterates p^n(x) (:= p(p^(n-1)(x)) with p^1(x) := p(x)), n = 1,2,..., of p(x) evaluated at x = 0 is a divisibility sequence. In this case p(x) = 1 + x + x^2. - Peter Bala, Mar 28 2018

Mordechai Ben-Ari, Mathematical Logic for Computer Science, Third edition, 173-203.
Steven R. Finch, Mathematical Constants, Cambridge, 2003, pp. 433-434.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

John Cerkan, Table of n, a(n) for n = 0..12
A. V. Aho and N. J. A. Sloane, Some doubly exponential sequences, Fibonacci Quarterly, Vol. 11, No. 4 (1973), pp. 429-437.
A. V. Aho and N. J. A. Sloane, Some doubly exponential sequences, Fibonacci Quarterly, Vol. 11, No. 4 (1973), pp. 429-437 (original plus references that F.Q. forgot to include - see last page!)
Steven R. Finch, Lehmer's Constant [Broken link]
Steven R. Finch, Lehmer's Constant [From the Wayback machine]
Stan C. Kalman and Barry L. Kwasny, Tail-recursive distributed representations and simple recurrent networks, Connection Science, 7 (1995), 61-80.
D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340.
D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340. [Annotated scanned copy]
H. P. Robinson, Letter to N. J. A. Sloane, Jul 12 1971
Eric Weisstein's World of Mathematics, Lehmer's Constant
Eric Weisstein's World of Mathematics, Lehmer Cotangent Expansion
Wikipedia, Herbrand Structure
J. W. Wrench, Jr., Letters to N. J. A. Sloane, Feb 1974
Index entries for sequences of form a(n+1)=a(n)^2 + ...

Cf. A002665, A002794, A002795, A030125, A063573, A232806.

[n le 1 select 0 else Self(n-1)^2 + Self(n-1) + 1: n in [1..15]]; // Vincenzo Librandi, Oct 05 2015

f[x_] := 1 + x + x^2 ; NestList[f, 1, 7] (* Geoffrey Critzer, May 04 2010 *)

a(n) := if n = 0 then 1 else a(n-1)^2+a(n-1)+1 $
makelist(a(n),n,0,8); /* Emanuele Munarini, Mar 23 2017 */

PARI
```
a(n)=if(n<1,0,a(n-1)^2+a(n-1)+1)
```

a(n) = floor(c^(2^n)) for n > 0, where c = 1.385089248334672909882206535871311526236739234374149506334120193387331772... - Benoit Cloitre, Nov 29 2002

a(n) = (A232806(n) - 1)/2 = (A232806(n-1)^2 + 3)/4. - Peter Bala, Mar 28 2018

A002665 Continued fraction expansion of Lehmer's constant.

Original entry on oeis.org

0, 1, 1, 2, 5, 34, 985, 1151138, 1116929202845, 1480063770341062927127746, 1846425204836010506550936273411258268076151412465

Offset: 0

N. J. A. Sloane

			0.592632718201636... = 0 + 1/(1 + 1/(1 + 1/(2 + 1/(5 + ...)))). - _Harry J. Smith_, May 14 2009

N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Harry J. Smith, Table of n, a(n) for n = 0..12
D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340.
D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340. [Annotated scanned copy]
G. Xiao, Contfrac
Index entries for continued fractions for constants

Cf. A030125 (decimal expansion).
Cf. A002794, A002795, A002665, A002065.
Starting with n=2, a(n)/a(n-2) are in A096407.

digits = 1200; c[0] = 0; c[n_] := c[n] = c[n-1]^2 + c[n-1] + 1; LC[m_] := LC[m] = Cot[Sum[(-1)^k*ArcCot[c[k]], {k, 0, m}]] // N[#, digits+10]&; LC[10]; LC[m = 20]; While[Abs[LC[m] - LC[m-10]] > 10^-digits, m = m+10]; ContinuedFraction[LC[m]] (* Jean-François Alcover, Oct 08 2013 *)

default(realprecision, 2000);b=0.;
Lehmers=1/tan(suminf(k=1,b=b^2+b+1;(-1)^k*atan(1/b))+Pi/2);
x=contfrac(Lehmers);
for (n=1, 13, write("b002665.txt", n-1, " ", x[n])) \\ Harry J. Smith, May 14 2009; edited by Charles R Greathouse IV, Jan 21 2016

With a different offset: a(0)=1, a(1)=1, a(n+1)=(b(n)+b(n-1)+1)*a(n-1), n >= 1, b()=A002065, with b(0)=0, b(1)=1, b(2)=3, ...

More terms from Jeffrey Shallit

First two terms inserted by Harry J. Smith, May 14 2009

A002794 Numerators of convergents to Lehmer's constant.

Original entry on oeis.org

1, 1, 3, 16, 547, 538811, 620245817465, 692770666469127829226736, 1025344764595988314871439243086711931108916434521

Offset: 0

N. J. A. Sloane

D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
J. W. Wrench, Jr., personal communication.

D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340. [Annotated scanned copy]
J. W. Wrench, Jr., Letters to N. J. A. Sloane, Feb 1974

Cf. A002795, A002665, A030125, A002065.

Block[{$MaxExtraPrecision=1000},Numerator[Convergents[With[{nn=15},Cot[ Total[Last[#] ArcCot[First[#]]&/@Thread[{NestList[#^2+#+1&,0,nn], PadRight[{},nn+1,{1,-1}]}]]]],10]]] (* Harvey P. Dale, Jan 29 2012 *)

A002795 Denominators of convergents to Lehmer's constant.

Original entry on oeis.org

1, 2, 5, 27, 923, 909182, 1046593950039, 1168971346319460027570137, 1730152138254248421873938035305987364739567671241

Offset: 0

N. J. A. Sloane

D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340.
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
J. W. Wrench, Jr., personal communication.

D. H. Lehmer, A cotangent analogue of continued fractions, Duke Math. J., 4 (1935), 323-340. [Annotated scanned copy]
J. W. Wrench, Jr., Letters to N. J. A. Sloane, Feb 1974.

Cf. A002794, A002665, A030125, A002065.

cp's OEIS Frontend

A002065 a(n+1) = a(n)^2 + a(n) + 1.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Mathematica

Maxima

PARI

Formula

A002665 Continued fraction expansion of Lehmer's constant.

Views

Author

Keywords

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A002794 Numerators of convergents to Lehmer's constant.

Views

Author

Keywords

References

Links

Crossrefs

Programs

Mathematica

A002795 Denominators of convergents to Lehmer's constant.

Views

Author

Keywords

References

Links

Crossrefs

A174143 Partials sums of A002794.

Views

Author

Keywords

Comments

Crossrefs

Formula