OFFSET
0,2
LINKS
Seiichi Manyama, Table of n, a(n) for n = 0..500
FORMULA
a(n) = Sum_{k=0..n} binomial(n+6*k,7*k) * binomial(7*k,k) / (6*k+1).
a(n) = F([(1+n)/6, (2+n)/6, (3+n)/6, (4+n)/6, (5+n)/6, 1+n/6, -n], [1/3, 1/2, 2/3, 5/6, 1, 7/6], -1), where F is the generalized hypergeometric function. - Stefano Spezia, Nov 14 2021
a(n) ~ sqrt(1 + 6*r) / (2 * 7^(2/3) * sqrt(3*Pi) * (1-r)^(1/3) * n^(3/2) * r^(n + 1/6)), where r = 0.04196526794785323647696104132939153750367778616407409162... is the real root of the equation 6^6 * (1-r)^7 = 7^7 * r. - Vaclav Kotesovec, Nov 15 2021
MATHEMATICA
nmax = 18; A[_] = 0; Do[A[x_] = (1 + x A[x]^7)/(1 - x) + O[x]^(nmax + 1) // Normal, nmax + 1]; CoefficientList[A[x], x]
Table[Sum[Binomial[n + 6 k, 7 k] Binomial[7 k, k]/(6 k + 1), {k, 0, n}], {n, 0, 18}]
CROSSREFS
KEYWORD
nonn
AUTHOR
Ilya Gutkovskiy, Nov 14 2021
STATUS
approved