OFFSET
0,3
LINKS
Vincenzo Librandi, Table of n, a(n) for n = 0..1000
FORMULA
a(n) = [x^n] (1 + x * (1 + x)^3)^n.
The g.f. exp( Sum_{k>=1} a(k) * x^k/k ) has integer coefficients and equals (1/x) * Series_Reversion( x / (1 + x * (1 + x)^3) ). See A364742.
a(n) ~ sqrt(4 + sqrt(3) + 12*sqrt(3/208 + 5/(26*sqrt(3)))) * (1/2 + sqrt(3) + sqrt(17 + 100/(3*sqrt(3)))/2)^n / (2*sqrt(6*Pi*n)). - Vaclav Kotesovec, Oct 19 2025
MATHEMATICA
Table[Sum[Binomial[n, k]Binomial[3*k, n-k], {k, 0, n}], {n, 0, 30}] (* Vincenzo Librandi, Oct 08 2025 *)
PROG
(PARI) a(n) = sum(k=0, n, binomial(n, k)*binomial(3*k, n-k));
(Magma) [&+[Binomial(n, k) * Binomial(3*k, n-k) : k in [0..n] ]: n in [0..40]]; // Vincenzo Librandi, Oct 08 2025
CROSSREFS
KEYWORD
nonn
AUTHOR
Seiichi Manyama, Sep 25 2025
STATUS
approved
