# Greetings from The On-Line Encyclopedia of Integer Sequences! http://oeis.org/ Search: id:a226573 Showing 1-1 of 1 %I A226573 #21 Nov 06 2018 11:33:30 %S A226573 2,0,1,6,7,7,9,7,6,4,8,9,2,2,0,0,6,2,4,2,7,7,7,9,0,5,5,4,1,9,4,0,1,1, %T A226573 7,3,3,7,7,2,6,1,7,8,3,6,7,6,3,7,0,6,4,0,2,4,4,1,0,3,3,0,7,2,1,4,2,7, %U A226573 5,0,5,7,4,4,9,0,9,8,9,9,9,9,1,5,2,4 %N A226573 Decimal expansion of lim_{k->oo} f(k), where f(1)=e, and f(k) = e - log(f(k-1)) for k>1. %C A226573 Old definition was: Decimal digits of limit(f(n)), where f(1) = e-log(e), f(n) = f(f(n-1)). %C A226573 Let f(x) be lesser of the two solutions of s - log(s) = x; then A226571 represents f(e). [See however the comments in A226571. - _N. J. A. Sloane_, Dec 09 2017] %H A226573 Clark Kimberling, Table of n, a(n) for n = 1..10000 %F A226573 Equals LambertW(e^e). - _Clark Kimberling_, Feb 15 2018 %e A226573 limit(f(n)) = 2.0167797639... %t A226573 Program 1: %t A226573 f[s_, accuracy_] := FixedPoint[N[s - Log[#], accuracy] &, 1] %t A226573 g[s_, accuracy_] := FixedPoint[N[s + Log[#], accuracy] &, 1] %t A226573 d1 = RealDigits[f[E, 200]][[1]] (* A226573 *) %t A226573 d2 = RealDigits[g[E, 200]][[1]] (* A226574 *) %t A226573 s /. NSolve[s - Log[s] == 2, 200] (* both constants *) %t A226573 *** %t A226573 Program 2: %t A226573 N[ProductLog[E^E], 100] (* _Clark Kimberling_, Feb 15 2018 *) %o A226573 (PARI) default(realprecision, 100); lambertw(exp(exp(1))) \\ _G. C. Greubel_, Sep 09 2018 %Y A226573 Cf. A226571, A226572, A226574. %K A226573 nonn,cons,easy %O A226573 1,1 %A A226573 _Clark Kimberling_, Jun 12 2013 %E A226573 Definition revised by _N. J. A. Sloane_, Dec 09 2017 # Content is available under The OEIS End-User License Agreement: http://oeis.org/LICENSE