|
|
A242003
|
|
G.f. satisfies: 2*A(x) = 1 + x + A(x*A(x)).
|
|
4
|
|
|
1, 1, 1, 3, 15, 101, 841, 8267, 93259, 1184693, 16718377, 259403303, 4389247891, 80446526037, 1587992497445, 33595010710967, 758426286470763, 18201458396436081, 462778682120158733, 12427549693656564655, 351513706699979429223, 10446113259707687607057
(list;
graph;
refs;
listen;
history;
text;
internal format)
|
|
|
OFFSET
|
0,4
|
|
LINKS
|
|
|
FORMULA
|
a(n) ~ c * n^n / (exp(n) * (log(2))^n), where c = 1.16670181891916121...
|
|
MATHEMATICA
|
nmax = 21; sol = {a[0] -> 1};
Do[A[x_] = Sum[a[k] x^k, {k, 0, n}] /. sol; eq = CoefficientList[2 A[x] - (1 + x + A[x A[x]]) + O[x]^(n+1), x] == 0 /. sol; sol = sol ~Join~ Solve[eq][[1]], {n, 1, nmax}];
sol /. Rule -> Set;
|
|
PROG
|
(PARI) {a(n)=local(A=1+x); for(i=1, n, A = 1+x + subst(A, x, x*A +x*O(x^n)) - A); polcoeff(A, n)}
for(n=0, 25, print1(a(n), ", "))
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|