OFFSET
1,1
COMMENTS
Old definition was: Decimal digits of limit(f(n)), where f(1) = e-log(e), f(n) = f(f(n-1)).
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]
LINKS
Clark Kimberling, Table of n, a(n) for n = 1..10000
FORMULA
Equals LambertW(e^e). - Clark Kimberling, Feb 15 2018
EXAMPLE
limit(f(n)) = 2.0167797639...
MATHEMATICA
Program 1:
f[s_, accuracy_] := FixedPoint[N[s - Log[#], accuracy] &, 1]
g[s_, accuracy_] := FixedPoint[N[s + Log[#], accuracy] &, 1]
d1 = RealDigits[f[E, 200]][[1]] (* A226573 *)
d2 = RealDigits[g[E, 200]][[1]] (* A226574 *)
s /. NSolve[s - Log[s] == 2, 200] (* both constants *)
***
Program 2:
N[ProductLog[E^E], 100] (* Clark Kimberling, Feb 15 2018 *)
PROG
(PARI) default(realprecision, 100); lambertw(exp(exp(1))) \\ G. C. Greubel, Sep 09 2018
CROSSREFS
KEYWORD
AUTHOR
Clark Kimberling, Jun 12 2013
EXTENSIONS
Definition revised by N. J. A. Sloane, Dec 09 2017
STATUS
approved