OFFSET
0,4
LINKS
Vaclav Kotesovec, Table of n, a(n) for n = 0..330
FORMULA
a(n) ~ c * n^n / (exp(n) * (log(2))^n), where c = 1.16670181891916121...
G.f. satisfies A(x) = 1 + Sum_{n>=0} B^n(x) / 2^(n+1), where B(x) = x*A(x) and B^n(x) denotes the n-th iteration of B(x) with B^0(x) = x. - Paul D. Hanna, Apr 05 2026
From Seiichi Manyama, Apr 06 2026: (Start)
Let b(n,k) = [x^n] A(x)^k.
b(0,1) = b(1,1) = 1; b(n,1) = Sum_{j=1..n-1} b(j,1) * b(n-j,j).
For k > 1, b(0,k) = 1; b(n,k) = (1/n) * Sum_{j=1..n} ((k+1)*j-n) * b(j,1) * b(n-j,k).
a(n) = b(n,1). (End)
EXAMPLE
G.f.: A(x) = 1 + x + x^2 + 3*x^3 + 15*x^4 + 101*x^5 + 841*x^6 + 8267*x^7 + 93259*x^8 + 1184693*x^9 + 16718377*x^10 + ...
A(x*A(x)) = 1 + x + 2*x^2 + 6*x^3 + 30*x^4 + 202*x^5 + 1682*x^6 + 16534*x^7 + 186518*x^8 + ... where 2*A(x) = 1 + x + A(x*A(x)).
MATHEMATICA
nmax = 21; sol = {a[0] -> 1};
Do[A[x_] = Sum[a[k] x^k, {k, 0, n}] /. sol; eq = CoefficientList[2 A[x] - (1 + x + A[x A[x]]) + O[x]^(n+1), x] == 0 /. sol; sol = sol ~Join~ Solve[eq][[1]], {n, 1, nmax}];
sol /. Rule -> Set;
a /@ Range[0, nmax] (* Jean-François Alcover, Nov 01 2019 *)
PROG
(PARI) {a(n)=local(A=1+x); for(i=1, n, A = 1+x + subst(A, x, x*A +x*O(x^n)) - A); polcoeff(A, n)}
for(n=0, 25, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Aug 11 2014
EXTENSIONS
STATUS
approved
