OFFSET
1,1
COMMENTS
Lehmer used this sequence in his proof of the Lucas-Lehmer test.
LINKS
D. H. Lehmer, On Lucas's Test for the Primality of Mersenne's Numbers, J. London Math. Soc., 10 (1935) 162-165.
FORMULA
a(n) = 2^(2^(n-1))*A003010(n).
MATHEMATICA
nxt[{n_, a_}]:={n+1, a^2-2^(2^n+1)}; Transpose[NestList[nxt, {1, 8}, 7]][[2]] (* Harvey P. Dale, Jul 24 2013 *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Douglas Stones (dssto1(AT)student.monash.edu.au), Apr 22 2005
STATUS
approved