OFFSET
0,3
LINKS
Robert Israel, Table of n, a(n) for n = 0..516
FORMULA
G.f. A(x) satisfies: A(x) = (1 - 2*x + x*A(x/(1 - 2*x))) / (1 - x - 2*x^2).
G.f.: (1/(1 + x)) * Sum_{k>=0} (x/(1 + x))^k / Product_{j=1..k} (1 - 2*j*x/(1 + x)).
E.g.f.: exp((exp(2*x) - 1) / 2 - x).
a(0) = 1; a(n) = Sum_{k=1..n-1} binomial(n-1,k) * 2^k * a(n-k-1).
a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(n,k) * A004211(k).
a(n) ~ 2^(n - 1/2) * n^(n - 1/2) * exp(n/LambertW(2*n) - n - 1/2) / (sqrt(1 + LambertW(2*n)) * LambertW(2*n)^(n - 1/2)). - Vaclav Kotesovec, Jun 26 2022
MAPLE
E:= exp((exp(2*x)-1)/2-x):
S:= series(E, x, 31):
seq(coeff(S, x, i)*i!, i=0..30); # Robert Israel, Aug 26 2020
MATHEMATICA
nmax = 23; CoefficientList[Series[Exp[(Exp[2 x] - 1)/2 - x], {x, 0, nmax}], x] Range[0, nmax]!
a[0] = 1; a[n_] := a[n] = Sum[Binomial[n - 1, k] 2^k a[n - k - 1], {k, 1, n - 1}]; Table[a[n], {n, 0, 23}]
Table[Sum[(-1)^(n - k) Binomial[n, k] 2^k BellB[k, 1/2], {k, 0, n}], {n, 0, 23}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Ilya Gutkovskiy, Aug 12 2020
STATUS
approved