|
|
A083697
|
|
a(n) = 2^(2^n - 1) * Fibonacci(2^n).
|
|
2
|
|
|
|
OFFSET
|
0,2
|
|
COMMENTS
|
A083696(n)/a(n) converges to sqrt(5).
Similar to A081460: a(n) is the denominator of the same mapping f(r)=(1/2)(r+5/r) but with initial value r=1.
|
|
LINKS
|
|
|
FORMULA
|
a(n) = Sum_{r=0..(2^n -1)} (5^r/(2*r+1)!)*Product_{k=0..2*r} (2^n - k).
|
|
MATHEMATICA
|
Table[Sum[Product[2^n -k, {k, 0, 2*r}]k^r/(2*r+1)!, {r, 0, 2^n -1}], {n, 0, 8}]
Table[2^(2^n -1)*Fibonacci[2^n], {n, 0, 8}] (* G. C. Greubel, Jan 14 2022 *)
|
|
PROG
|
(Sage) [2^(2^n -1)*lucas_number1(2^n, 1, -1) for n in (0..8)] # G. C. Greubel, Jan 14 2022
(Magma) [2^(2^n -1)*Fibonacci(2^n): n in [0..8]]; // G. C. Greubel, Jan 14 2022
|
|
CROSSREFS
|
|
|
KEYWORD
|
easy,nonn
|
|
AUTHOR
|
Mario Catalani (mario.catalani(AT)unito.it), May 22 2003
|
|
EXTENSIONS
|
The next term is too large to include.
|
|
STATUS
|
approved
|
|
|
|