cp's OEIS Frontend

A277651 Decimal expansion of the first derivative of the infinite power tower function x^x^x... at x = 1/4.

%I A277651 #19 Feb 16 2025 08:33:37
%S A277651 5,9,0,6,1,6,1,0,9,1,4,9,6,4,1,2,4,9,7,4,3,8,0,6,9,0,9,3,2,3,2,5,1,5,
%T A277651 5,7,1,1,6,6,5,3,0,4,8,8,7,3,8,8,0,0,6,7,4,4,0,2,7,9,2,0,1,9,2,1,8,2,
%U A277651 4,9,3,3,7,5,4,4,5,7,2,7,5,2,5,4,4,3,5,2,2,3,9,4,1,8,4,8,8,3,8,6,2,6,8,9
%N A277651 Decimal expansion of the first derivative of the infinite power tower function x^x^x... at x = 1/4.
%C A277651 It is known that (1/4)^(1/4)^(1/4)^... = 1/2.
%H A277651 Alois P. Heinz, <a href="/A277651/b277651.txt">Table of n, a(n) for n = 0..1000</a>
%H A277651 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PowerTower.html">Power Tower</a>.
%H A277651 Wikipedia, <a href="https://en.wikipedia.org/wiki/Tetration">Tetration</a>.
%F A277651 Equals 1/(1 + log(2)) = 1/(1 + A002162).
%F A277651 Equals Integral_{x >= 0} exp(-x)/2^x dx. - _Peter Bala_, Feb 05 2024
%e A277651 0.59061610914964124974380690932325155711665304887388...
%t A277651 RealDigits[1/(1 + Log[2]), 10, 120][[1]]
%t A277651 (* or *)
%t A277651 f[x_] := -ProductLog[-Log[x]]/Log[x]; RealDigits[f'[1/4], 10, 120][[1]] (* _Amiram Eldar_, May 23 2023 *)
%Y A277651 Cf. A002162, A277522, A277559, A293009, A300916.
%K A277651 nonn,cons
%O A277651 0,1
%A A277651 _Alois P. Heinz_, Oct 25 2016