OFFSET
0,3
FORMULA
a(n) ~ 2^(5*n - 3/2) * n^(3*n) / (3^n * exp(3*n) * log(2)^(4*n+1)).
For n > 0, a(n) = Sum_{j=0..4*n} (binomial(binomial(j,4) + n - 1, n) * Sum_{i=j..4*n} (-1)^(i-j)*binomial(i,j)).
MATHEMATICA
Join[{1}, Table[Sum[Binomial[Binomial[j, 4] + n - 1, n] Sum[(-1)^(i-j)*Binomial[i, j], {i, j, 4*n}], {j, 0, 4*n}], {n, 1, 15}]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Feb 08 2026
STATUS
approved
