OFFSET
0,3
COMMENTS
a(n) is divisible by [n/2]!.
Compare definition to the following identity, which holds for all fixed k:
Sum_{n>=0} n!*x^n = Sum_{n>=0} x^n * (n + k*x)^n / (1 + n*x + k*x^2)^(n+1).
FORMULA
a(n) = Sum_{k=0..[n/2]} (n-k)! * Stirling2(n, n-k) * binomial(n-k,k).
a(n) ~ c * d^n * n^n / exp(n), where d = r*(-1+3*r-3*r^2)/(1-3*r+2*r^2) = 2.334305682349197638435662..., where r = 0.722795640379451585372396... is the root of the equation (1-r) * (r + 1/LambertW(-exp(-1/r)/r)) + (2*r-1)^2 = 0, and c = 1.04764685950245700560418116727397... . - Vaclav Kotesovec, Aug 03 2014
EXAMPLE
G.f.: A(x) = 1 + x + 3*x^2 + 18*x^3 + 146*x^4 + 1530*x^5 + 19620*x^6 +...
where
A(x) = 1 + x*(1+x)/(1+x+x^2)^2 + 2^2*x^2*(1+2*x)^2/(1+2*x+4*x^2)^3 + 3^3*x^3*(1+3*x)^3/(1+3*x+9*x^2)^4 + 4^4*x^4*(1+4*x)^4/(1+4*x+16*x^2)^5 +...
MATHEMATICA
Table[Sum[(n-k)! * StirlingS2[n, n-k] * Binomial[n-k, k], {k, 0, Floor[n/2]}], {n, 0, 20}] (* Vaclav Kotesovec, Aug 03 2014 *)
PROG
(PARI) /* From definition: */
{a(n)=local(A=1); A=sum(m=0, n, m^m*x^m*(1+m*x)^m/(1 + m*x + m^2*x^2 +x*O(x^n))^(m+1)); polcoeff(A, n)}
for(n=0, 30, print1(a(n), ", "))
(PARI) /* From formula for a(n): */
{Stirling2(n, k)=sum(i=0, k, (-1)^i*binomial(k, i)*i^n)*(-1)^k/k!}
{a(n)=sum(k=0, n\2, (n-k)!*Stirling2(n, n-k)*binomial(n-k, k))}
for(n=0, 30, print1(a(n), ", "))
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Aug 02 2014
STATUS
approved