%I #72 Aug 04 2018 06:42:25
%S 1,6,3,5,0,7,8,4,7,4,6,3,6,3,7,5,2,4,5,8,9,9,7,5,7,1,9,8,7,8,7,5,0,0,
%T 8,8,8,1,2,3,9,8,2,1,9,2,7,6,8,1,4,6,1,9,3,5,1,7,4,4,4,5,6,2,8,9,6,7,
%U 6,2,4,6,2,3,1,6,3,0,3,6,7,6,2,0,9,1,9,5,5,7,2,0,7,9,0,4,6,9,7,3,4,1,0,7
%N Decimal expansion of the solution to x^x^x = 3.
%C Let x(m) be the solution to the equation x^x^x^...^x = m, where x appears m times on the left hand side; e.g.,
%C decimal
%C m equation solution x(m) expansion
%C ==== ==================== ============= =============
%C 1 x = 1 1.00000000... A000007
%C 2 x^x = 2 1.55961046... A030798
%C 3 x^x^x = 3 1.63507847... this sequence
%C 4 x^x^x^x = 4 1.62036995...
%C 5 x^x^x^x^x = 5 1.59340881...
%C 6 x^x^x^x^x^x = 6 1.56864406...
%C 7 x^x^x^x^x^x^x = 7 1.54828598...
%C .
%C 10 x^x^x^x^...^x = 10 1.50849792...
%C .
%C 100 x^x^x^x^...^x = 100 1.44567285...
%C .
%C 1000 x^x^x^x^...^x = 1000 1.44467831...
%C .
%C Then x(1) < x(m) < x(3) for all m >= 4.
%C Let y(k/2) be the solution to the equation y^y^y^...^y = (k/2)*y^y, where y appears k times on the left hand side; e.g.,
%C decimal
%C k equation solution y(k/2) expansion
%C = ========================= =============== =========
%C 1 y = (1/2)*y^y 2 A000038
%C 2 y^y = (2/2)*y^y indeterminate
%C 3 y^y^y = (3/2)*y^y 1.6998419085...
%C 4 y^y^y^y = (4/2)*y^y 1.6396207046...
%C 5 y^y^y^y^y = (5/2)*y^y 1.5987769216...
%C 6 y^y^y^y^y^y = (6/2)*y^y 1.5694666408...
%C 7 y^y^y^y^y^y^y = (7/2)*y^y 1.5476452822...
%C .
%C What is lim_{k -> infinity} y(k/2)?
%C Lim_{m -> infinity} x(m) = e^(1/e). - _Jon E. Schoenfield_, Jul 23 2018
%C Lim_{k -> infinity} y(k/2) = e^(1/e). - _Jon E. Schoenfield_, Aug 01 2018
%e 1.635078474636375245899757198787500888...
%t RealDigits[ FindRoot[ x^x^x == 3, {x, 1}, WorkingPrecision -> 128][[1, 2]]][[1]] (* _Robert G. Wilson v_, Jun 13 2018 *)
%o (PARI) default(realprecision,333);
%o solve(x=1.6, 1.7, x^x^x-3) \\ _Joerg Arndt_, May 27 2018
%Y Cf. A000007, A000038, A030798.
%K nonn,cons
%O 1,2
%A _Juri-Stepan Gerasimov_, May 27 2018
%E More digits from _Michel Marcus_, _Joerg Arndt_, May 27 2018