OFFSET
1,2
COMMENTS
Tetration x^^n is defined recursively: x^^0 = 1, x^^n = x^(x^^(n-1)). Note that lim_{n->inf} sqrt(2)^^n = 2. This sequence shows the speed of convergence to this limit.
LINKS
G. C. Greubel, Table of n, a(n) for n = 1..300
Eric Weisstein's World of Mathematics, Power Tower
Wikipedia, Tetration
FORMULA
a(n) ~ 1/(A277435*log(2)^n).
MATHEMATICA
Table[ContinuedFraction[2 - Power@@Table[Sqrt[2], {n}], 2][[2]], {n, 42}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Vladimir Reshetnikov, Jan 10 2017
STATUS
approved