OFFSET
0,3
LINKS
Alois P. Heinz and Vaclav Kotesovec, Table of n, a(n) for n = 0..100 (terms 0..50 from Alois P. Heinz)
J. D. Horton and A. Kurn, Counting sequences with complete increasing subsequences, Congressus Numerantium, 33 (1981), 75-80. MR 681905
FORMULA
a(n) ~ sqrt(5) * (3125/24)^n * n^(4*n) / exp(4*n+4). - Vaclav Kotesovec, Feb 21 2016
MATHEMATICA
Table[Sum[Sum[Sum[Sum[k!/(i1!*i2!*i3!*i4!*(k - i1 - i2 - i3 - i4)!)*(5*k)!/(i1 + 2*i2 + 3*i3 + 4*i4 + 5*(k - i1 - i2 - i3 - i4))!*(-1)^(i1 + 2*i2 + 3*i3 + 4*i4 + 5*(k - i1 - i2 - i3 - i4) - k)/(24^i1*6^i2*2^ i3), {i4, 0, k - i1 - i2 - i3}], {i3, 0, k - i1 - i2}], {i2, 0, k - i1}], {i1, 0, k}], {k, 0, 15}] (* Vaclav Kotesovec, Mar 02 2016, after Horton and Kurn *)
CROSSREFS
KEYWORD
nonn
AUTHOR
Alois P. Heinz, Feb 14 2016
STATUS
approved