OFFSET
0,1
COMMENTS
It is known that (1/4)^(1/4)^(1/4)^... = 1/2.
LINKS
Alois P. Heinz, Table of n, a(n) for n = 0..1000
Eric Weisstein's World of Mathematics, Power Tower.
Wikipedia, Tetration.
FORMULA
Equals 1/(1 + log(2)) = 1/(1 + A002162).
Equals Integral_{x >= 0} exp(-x)/2^x dx. - Peter Bala, Feb 05 2024
EXAMPLE
0.59061610914964124974380690932325155711665304887388...
MATHEMATICA
RealDigits[1/(1 + Log[2]), 10, 120][[1]]
(* or *)
f[x_] := -ProductLog[-Log[x]]/Log[x]; RealDigits[f'[1/4], 10, 120][[1]] (* Amiram Eldar, May 23 2023 *)
CROSSREFS
KEYWORD
nonn,cons
AUTHOR
Alois P. Heinz, Oct 25 2016
STATUS
approved