OFFSET
0,15
FORMULA
a(n) ~ exp(-7*n + (n-7)*(1 + c*Pi)) * n^(7*n) / (7!)^n, where c = 8*cos((Pi + arctan(2769*sqrt(3)/239))/6) / sqrt(21) = 1.2446281707164555154936427017... is the root of the equation 823543*c^6 - 3764768*c^4 + 4302592*c^2 - 692224 = 0.
MATHEMATICA
Table[Product[Binomial[k-1, 7] + Binomial[n-k, 7], {k, 1, n}], {n, 0, 20}]
PROG
(PARI) a(n) = prod(k=1, n, binomial(k-1, 7) + binomial(n-k, 7)); \\ Daniel Suteu, Jan 17 2019
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Jan 17 2019
STATUS
approved