OFFSET
0,3
LINKS
Vaclav Kotesovec, Table of n, a(n) for n = 0..10000
FORMULA
a(n) ~ c * exp(sqrt(8*n*(log(r)^2 + polylog(2,r) - polylog(2,-r)))), where r = A192918 = 0.54368901269207636157... is the real root of the equation r*(1+r^2) = (1-r^2) and c = 0.0643033662740307713580663125340126524175...
MATHEMATICA
nmax = 60; CoefficientList[Series[Sum[x^(k*(k+1)/2) * Product[(1+x^j)/(1-x^j), {j, 1, k}]^2, {k, 0, Sqrt[2*nmax]}], {x, 0, nmax}], x]
CROSSREFS
KEYWORD
nonn
AUTHOR
Vaclav Kotesovec, Oct 06 2024
STATUS
approved