|
%I #16 Oct 20 2016 06:03:51
%S 0,6,8,5,7,5,6,5,9,8,1,1,3,2,9,1,0,3,9,7,6,5,5,3,3,1,1,4,1,5,5,0,6,5,
%T 5,4,2,3,3,5,6,3,5,7,1,3,7,8,6,1,9,4,4,7,4,6,8,1,2,5,1,7,0,5,1,0,3,4,
%U 8,4,4,6,8,0,7,3,4,9,7,3,7,7,4,6,0,7,1,7,1,4,3,0,9,3,0,8,1,9,7,9,1,1,1,3,9,7,4,2,8,6
%N Decimal expansion of a constant related to asymptotic behavior of super-roots of 2: lim_{n->inf} (sr[n](2) - sqrt(2))/log(2)^n.
%C Tetration is defined recursively: x^^0 = 1, x^^n = x^(x^^(n-1)). Its inverse, super-root, is defined: sr[n](y) = x iff x^^n = y. Note that lim_{n->inf} sr[n](2) = sqrt(2). Asymptotically, sr[n](2) = sqrt(2) + O(log(2)^n). This constant is the coefficient in the O(log(2)^n) term, i.e. lim_{n->inf} (sr[n](2) - sqrt(2))/log(2)^n.
%H G. C. Greubel, <a href="/A260691/b260691.txt">Table of n, a(n) for n = 0..193</a>
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/PowerTower.html">Power Tower</a>
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Tetration#Super-root">Super-root</a>
%F a = A277435*(1-log(2))/(2*sqrt(2)). - _Vladimir Reshetnikov_, Oct 18 2016
%e 0.0685756598113291039765533114155...
%t {0}~Join~RealDigits[SequenceLimit[1`200 Table[(2 - Power @@ Table[Sqrt[2], {n}])/Log[2]^n, {n, 1, 200}]] (1 - Log[2])/(2 Sqrt[2]), 10, 100][[1]] (* _Vladimir Reshetnikov_, Oct 18 2016 *)
%Y Cf. A198094, A277435.
%K cons,nonn
%O 0,2
%A _Vladimir Reshetnikov_, Nov 15 2015
|
