This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A226572 #31 Dec 31 2018 14:09:56
%S A226572 3,1,4,6,1,9,3,2,2,0,6,2,0,5,8,2,5,8,5,2,3,7,0,6,1,0,2,8,5,2,1,3,6,8,
%T A226572 2,5,2,8,8,8,6,6,2,0,4,6,1,8,2,4,8,8,4,2,6,0,3,4,6,1,9,2,9,1,2,8,6,7,
%U A226572 7,5,1,6,3,9,8,7,5,4,8,8,7,0,7,7,4,3
%N A226572 Decimal expansion of lim_{k->oo} f(k), where f(1)=2, and f(k) = 2 + log(f(k-1)) for k>1.
%C A226572 Let h(x) be the greater of the two solutions of s + log(s) = x; then this sequence represents h(2). The function h(x) is plotted by the Mathematica program. [This comment is wrong. A226571 = LambertW(exp(2)) = 1.5571455989976... is the unique root of the equation s + log(s) = 2. Equation s - log(s) = 2 does have two roots, but they are s = -LambertW(-1,-exp(-2)) = 3.14619322062... (this sequence) and s = -LambertW(-exp(-2)) = 0.158594339563... (A202348, not A226571). - _Vaclav Kotesovec_, Jan 09 2014]
%C A226572 Apart from the first digit the same as A202321. - _R. J. Mathar_, Jun 15 2013
%H A226572 Clark Kimberling, <a href="/A226572/b226572.txt">Table of n, a(n) for n = 1..1000</a>
%F A226572 Equals -LambertW(-1, -exp(-2)) = A202321 + 2. - _Vaclav Kotesovec_, Jan 09 2014
%e A226572 2 + log 2 = 2.693147...
%e A226572 2 + log(2 + log 2) = 2.990710...
%e A226572 2 + log(2 + log(2 + log 2)) = 3.095510...
%e A226572 limit(f(n)) = 3.14619322062...
%t A226572 f[s_, accuracy_] := FixedPoint[N[s - Log[#], accuracy] &, 1]
%t A226572 g[s_, accuracy_] := FixedPoint[N[s + Log[#], accuracy] &, 1]
%t A226572 d1 = RealDigits[f[2, 200]][[1]] (* A226571 *)
%t A226572 d2 = RealDigits[g[2, 200]][[1]] (* A226572 *)
%t A226572 s /. NSolve[s - Log[s] == 2, 200] (* both constants *)
%t A226572 h[x_] := s /. NSolve[s - Log[s] == x]
%t A226572 Plot[h[x], {x, 1, 3}, PlotRange -> {0, 1}] (* bottom branch of h *)
%t A226572 Plot[h[x], {x, 1, 3}, PlotRange -> {1, 5}] (* top branch *)
%o A226572 (PARI) default(realprecision, 100); solve(x=3, 4, x - log(x) - 2) \\ _Jianing Song_, Dec 30 2018
%Y A226572 Cf. A202321, A202348, A226571, A226573, A226574.
%Y A226572 Cf. also A052526.
%K A226572 nonn,cons
%O A226572 1,1
%A A226572 _Clark Kimberling_, Jun 12 2013
%E A226572 Definition revised by _N. J. A. Sloane_, Dec 09 2017