OFFSET
0,3
COMMENTS
5 divides a(3*2^n) for n>=0 (conjecture).
5 does not divide a(3*2^n - 1) for n>=0 (conjecture).
What is the limit a(n)^(1/n) = ?
LINKS
Paul D. Hanna, Table of n, a(n) for n = 0..2500
Vaclav Kotesovec, Plot of a(n+1)/a(n)
EXAMPLE
G.f.: A(x) = 1 + x + 2*x^2 + 5*x^3 + 10*x^4 + 28*x^5 + 70*x^6 + 170*x^7 + 340*x^8 + 960*x^9 + 2688*x^10 + 7308*x^11 + 18270*x^12 +...
where
A(x)^2 = 1 + 2*x + 5*x^2 + 14*x^3 + 34*x^4 + 96*x^5 + 261*x^6 + 692*x^7 + 1680*x^8 + 4540*x^9 + 12540*x^10 + 34552*x^11 + 92728*x^12 +...+ A265226(n)*x^n +...
Illustration of initial terms, both a(n) of A(x) and b(n) of A(x)^2:
a(0) = 1; b(0) = 1;
a(1) = 1; b(1) = 2 = 1*1 + 1*1;
a(2) = a(1)*b(1) = 2; b(2) = 5 = 1*2 + 1*1 + 2*1;
a(3) = a(1)*b(2) = 5; b(3) = 14 = 1*5 + 1*2 + 2*1 + 5*1;
a(4) = a(2)*b(2) = 10; b(4) = 34 = 1*10 + 1*5 + 2*2 + 5*1 + 10*1;
a(5) = a(2)*b(3) = 28; b(5) = 96;
a(6) = a(3)*b(3) = 70; b(6) = 261;
a(7) = a(3)*b(4) = 170; b(7) = 692;
a(8) = a(4)*b(4) = 340; b(8) = 1680; ...
PROG
(PARI) {a(n) = my(A=1+x); for(k=2, n, A = A + a(k\2) * polcoeff(A^2, (k+1)\2) * x^k +x*O(x^n) ); polcoeff(A, n)}
for(n=0, 40, print1(a(n), ", "))
(PARI) {a(n) = my(A=[1, 1]); for(k=2, n, A = concat(A, A[k\2+1]*Vec(Ser(A)^2)[(k+1)\2+1]) ); A[n+1]}
for(n=0, 40, print1(a(n), ", "))
(PARI) /* Generates N terms rather quickly: */
N=300; A=[1, 1]; for(k=2, N, A = concat(A, A[k\2+1]*Vec(Ser(A)^2)[(k+1)\2+1]) ); A
CROSSREFS
KEYWORD
nonn
AUTHOR
Paul D. Hanna, Dec 13 2015
STATUS
approved