A123672 a(1) = 1; for n > 1, a(n) = (2^n-1)*a(n-1) + (-1)^n.

1, 4, 27, 406, 12585, 792856, 100692711, 25676641306, 13120763707365, 13422541272634396, 27475941985082608611, 112513982428913282262046, 921602030075228695008418785, 15098606058722471710322924954656, 494736024726159230532151281989213151

Offset

1,2

Comments

This sequence allows us to prove that the constant C defined in A048651 is irrational. Indeed, for any n > 1 we get |(C+1)*A005329(n) - a(n)| < 1/2^n.

Links

G. C. Greubel, Table of n, a(n) for n = 1..80

J. Lynch et al., Problem 6233: Irrationality of an infinite product, Amer. Math. Monthly 87 (1980) 408-409

Formula

a(n) ~ c * 2^(n*(n+1)/2), where c = 0.372186658950350942813441530084543367... . - Vaclav Kotesovec, Oct 10 2016

Mathematica

RecurrenceTable[{a[n] == (2^n - 1) * a[n - 1] + (-1)^n, a[1] == 1}, a, {n, 1, 15}] (* Vaclav Kotesovec, Oct 10 2016 *)

Prog

(PARI) a(n)=if(n<2, 1, (2^n-1)*a(n-1)+(-1)^n)
(Magma) [n eq 1 select 1 else (2^n-1)*Self(n-1)+(-1)^n: n in [1..15]]; // Vincenzo Librandi, Oct 18 2017

Crossrefs

Cf. A005329, A048651, A277357.

Sequence in context: A359904 A271615 A271616 * A269869 A119030 A356806

Adjacent sequences: A123669 A123670 A123671 * A123673 A123674 A123675

Keyword

nonn

Author

Benoit Cloitre, Nov 16 2006

Status

approved