OFFSET
0,3
FORMULA
G.f.: A(x) = sqrt((1/x)*Series_Reversion( x/[Sum_{n>=0} n!*x^n]^2 )).
G.f. satisfies: A(x) = 1/(1 - x*A(x)^2/(1 - x*A(x)^2/(1 - 2*x*A(x)^2/(1 - 2*x*A(x)^2/(1 - 3*x*A(x)^2/(1 - 3*x*A(x)^2/(1 - 4*x*A(x)^2/(1 - ...)))))))), a recursive continued fraction.
G.f. satisfies: A(x/F(x)^2) = F(x) where F(x) = Sum_{n>=0} n!*x^n.
a(n) = [x^n] (Sum_{k>=0} k!*x^k)^(2*n+1) / (2*n+1).
EXAMPLE
G.f.: A(x) = 1 + x + 4*x^2 + 23*x^3 + 158*x^4 + 1212*x^5 + 10058*x^6 +...
where
A(x) = 1 + x*A(x)^2 + 2!*x^2*A(x)^4 + 3!*x^3*A(x)^6 + 4!*x^4*A(x)^8 +...
PROG
(PARI) {a(n)=polcoeff((1/x*serreverse(x/sum(m=0, n, m!*x^m+x^2*O(x^n))^2))^(1/2), n)}
(PARI) /* Recursive continued fraction: */
{a(n)=local(A=1+x, CF=1+x*O(x^(n+2))); for(i=1, n, for(k=1, n+1, CF=1/(1-((n-k+1)\2+1)*x*A^2*CF)); A=CF); polcoeff(A, n)}
(PARI) {a(n)=polcoeff(sum(k=0, n, k!*x^k +x*O(x^n))^(2*n+1)/(2*n+1), n)}
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Oct 31 2011
STATUS
approved