A245375 G.f.: Sum_{n>=0} x^n / ( (1+x)^(n+1) * (1 - 4*(n+1)*x) ).

1, 4, 20, 112, 736, 5632, 49024, 474112, 5017600, 57597952, 712597504, 9446981632, 133474877440, 2000265674752, 31666683510784, 527786775150592, 9233419259084800, 169106747636580352, 3234542505882025984, 64473076850860490752, 1336621867385969704960, 28769619371258703511552

Offset

0,2

Links

Table of n, a(n) for n=0..21.

Formula

G.f.: Sum_{n>=0} n! * (4*x)^n * (1+x)^n / Product_{k=1..n} (1 + 4*k*x).

a(n) = Sum_{k=0..floor(n/2)} Sum_{i=0..k} (-1)^i * binomial(k,i) * 4^(n-k) * (k-i+1)^(n-k).

Example

 G.f.: A(x) = 1 + 4*x + 20*x^2 + 112*x^3 + 736*x^4 + 5632*x^5 + 49024*x^6 +...
where we have the following series identity:
A(x) = 1/((1+x)*(1-4*x)) + x/((1+x)^2*(1-8*x)) + x^2/((1+x)^3*(1-12*x))+ x^3/((1+x)^4*(1-16*x))+ x^4/((1+x)^5*(1-20*x)) + x^5/((1+x)^6*(1-24*x)) +...
is equal to
A(x) = 1 + 4*x*(1+x)/(1+4*x) + 2!*(4*x)^2*(1+x)^2/((1+4*x)*(1+8*x)) + 3!*(4*x)^3*(1+x)^3/((1+4*x)*(1+8*x)*(1+12*x)) + 4!*(4*x)^4*(1+x)^4/((1+4*x)*(1+8*x)*(1+12*x)*(1+16*x)) + 5!*(4*x)^5*(1+x)^5/((1+4*x)*(1+8*x)*(1+12*x)*(1+16*x)*(1+20*x)) +...

Prog

 (PARI) {a(n)=polcoeff( sum(m=0, n, x^m/((1+x)^(m+1)*(1 - 4*(m+1)*x) +x*O(x^n))), n)}
for(n=0, 30, print1(a(n), ", "))
(PARI) {a(n)=polcoeff( sum(m=0, n, 4^m*m!*x^m*(1+x)^m/prod(k=1, m, 1+4*k*x +x*O(x^n))), n)}
for(n=0, 30, print1(a(n), ", "))
(PARI) {a(n)=sum(k=0, floor(n/2), sum(i=0, k, (-1)^i*binomial(k, i)*(k-i+1)^(n-k)*4^(n-k)))}
for(n=0, 30, print1(a(n), ", "))

Crossrefs

Cf. A229046, A245373, A245374, A245376.

Sequence in context: A192624 A209200 A294119 * A362223 A108447 A287512

Adjacent sequences: A245372 A245373 A245374 * A245376 A245377 A245378

Keyword

nonn

Author

Paul D. Hanna, Jul 19 2014

Status

approved