OFFSET
0,3
FORMULA
a(n) ~ r^(1/6) * (log(r)^2 + 6*polylog(2, 1-r))^(3/4) * exp(sqrt(2*(log(r)^2 + 6*polylog(2, 1-r))*n)) / (2^(11/4) * Pi^(3/2) * sqrt(1 + 2*r) * n^(5/4)), where r = 1 - A263719 = 0.3176721961719... is the real root of the equation r = (1-r)^3.
MATHEMATICA
nmax = 40; CoefficientList[Series[Sum[x^(k*(k+1)/2)/Product[1-x^j, {j, 1, k}]^3, {k, 0, Sqrt[2*nmax]}], {x, 0, nmax}], x]
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Oct 02 2024
STATUS
approved
