login
a(n) = Sum_{k=0..n} binomial(n,k) * binomial(3*n+4*k,k).
4

%I #15 Sep 22 2025 14:45:52

%S 1,8,112,1778,29776,513833,9039286,161164599,2902000592,52652740496,

%T 961069474297,17628176117318,324649112983798,5999256527934392,

%U 111183502998164219,2065716744515378213,38463565347521894032,717567269332838675232,13409586559291172964976

%N a(n) = Sum_{k=0..n} binomial(n,k) * binomial(3*n+4*k,k).

%H Vincenzo Librandi, <a href="/A388728/b388728.txt">Table of n, a(n) for n = 0..750</a>

%F a(n) = [x^n] ((1+x)^3 * (x+(1+x)^4))^n.

%F The g.f. exp( Sum_{k>=1} a(k) * x^k/k ) has integer coefficients and equals (1/x) * Series_Reversion( x / ((1+x)^3 * (x+(1+x)^4)) ).

%t Table[Sum[Binomial[ n,k]*Binomial[3*n+4*k,k],{k,0,n}],{n,0,30}] (* _Vincenzo Librandi_, Sep 22 2025 *)

%o (PARI) a(n) = sum(k=0, n, binomial(n, k)*binomial(3*n+4*k, k));

%o (Magma) [&+[Binomial(n, k)*Binomial(3*n+4*k,k): k in [0..n]]: n in [0..25]]; // _Vincenzo Librandi_, Sep 22 2025

%Y Cf. A388535, A388727, A388729.

%Y Cf. A156886. A388726.

%Y Cf. A378685.

%K nonn

%O 0,2

%A _Seiichi Manyama_, Sep 20 2025