OFFSET
0,3
LINKS
Paul D. Hanna, Table of n, a(n) for n = 0..300
FORMULA
G.f. satisfies: [x^n] A(x)^(n+1) = (n+1)^n for n>=0.
G.f. satisfies: A(x) = G(x/A(x)) where A(x*G(x)) = G(x) = Sum_{n>=0} (n+1)^(n-1)*x^n.
EXAMPLE
G.f.: A(x) = 1 + x + 2*x^2 + 9*x^3 + 68*x^4 + 715*x^5 +...
G.f. satisfies A(x) = G(x/A(x)) where G(x) begins:
G(x) = 1 + x + 3*x^2 + 4^2*x^3 + 5^3*x^4 + 6^4*x^5 +...
so that:
A(x) = 1 + x/A(x) + 3*x^2/A(x)^2 + 4^2*x^3/A(x)^3 + 5^3*x^4/A(x)^4 +...
The coefficients in A(x)^n for n=1..8 begin:
A^1: [(1), 1, 2, 9, 68, 715, 9527, 152789, 2856984, ...];
A^2: [1,(2), 5, 22, 158, 1602, 20837, 328716, ...];
A^3: [1, 3,(9), 40, 276, 2700, 34250, 531093, ...];
A^4: [1, 4, 14,(64), 429, 4056, 50146, 763752, ...];
A^5: [1, 5, 20, 95,(625), 5726, 68975, 1031130, ...];
A^6: [1, 6, 27, 134, 873,(7776), 91268, 1338366, ...];
A^7: [1, 7, 35, 182, 1183, 10283,(117649), 1691411, ...];
A^8: [1, 8, 44, 240, 1566, 13336, 148848,(2097152), ...]; ...
where the coefficient of x^n in A(x)^(n+1) equals (n+1)^n.
PROG
(PARI) {a(n)=polcoeff(x/serreverse(x*sum(m=0, n+1, (m+1)^(m-1)*x^m)+x^2*O(x^n)), n)}
for(n=0, 20, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Jan 22 2011
STATUS
approved