This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A375450 #11 Sep 11 2024 04:26:44 %S A375450 1,1,2,9,75,960,17056,398023,11785624,431999096,19225521917, %T A375450 1022238356603,64053139874787,4673871388801269,393051019651091208, %U A375450 37747728969729478069,4106730533743416782815,502513668471090178354603,68716238916399477889072499,10440633447359638146139853297 %N A375450 Expansion of g.f. A(x) satisfying 0 = Sum_{k=0..n} (-1)^k * binomial(2*n-k,k) * ([x^k] A(x)^n) for n >= 1. %C A375450 Note that 0 = Sum_{k=0..n} (-1)^k * binomial(n+k,2*k) * ([x^k] C(x)^n) for n >= 1 is satisfied by the Catalan function C(x) = 1 + x*C(x)^2 (A000108), where coefficient [x^k] C(x)^n = binomial(n+2*k-1,k)*n/(n+k). %H A375450 Paul D. Hanna, <a href="/A375450/b375450.txt">Table of n, a(n) for n = 0..200</a> %F A375450 a(n) ~ c * 2^(2*n) * n^(2*n + 3/2) / (exp(2*n) * Pi^(2*n)), where c = 35.20725926431251936515... - _Vaclav Kotesovec_, Sep 11 2024 %e A375450 G.f.: A(x) = 1 + x + 2*x^2 + 9*x^3 + 75*x^4 + 960*x^5 + 17056*x^6 + 398023*x^7 + 11785624*x^8 + 431999096*x^9 + ... %e A375450 RELATED TABLES. %e A375450 The table of coefficients of x^k in A(x)^n begins: %e A375450 n=1: [1, 1, 2, 9, 75, 960, 17056, ...]; %e A375450 n=2: [1, 2, 5, 22, 172, 2106, 36413, ...]; %e A375450 n=3: [1, 3, 9, 40, 297, 3477, 58412, ...]; %e A375450 n=4: [1, 4, 14, 64, 457, 5120, 83454, ...]; %e A375450 n=5: [1, 5, 20, 95, 660, 7091, 112010, ...]; %e A375450 n=6: [1, 6, 27, 134, 915, 9456, 144632, ...]; %e A375450 ... %e A375450 from which we may illustrate the defining property given by %e A375450 0 = Sum_{k=0..n} (-1)^k * binomial(2*n-k,k) * ([x^k] A(x)^n). %e A375450 Using the coefficients in the table above, we see that %e A375450 n=1: 0 = 1*1 - 1*1; %e A375450 n=2: 0 = 1*1 - 3*2 + 1*5; %e A375450 n=3: 0 = 1*1 - 5*3 + 6*9 - 1*40; %e A375450 n=4: 0 = 1*1 - 7*4 + 15*14 - 10*64 + 1*457; %e A375450 n=5: 0 = 1*1 - 9*5 + 28*20 - 35*95 + 15*660 - 1*7091; %e A375450 n=6: 0 = 1*1 - 11*6 + 45*27 - 84*134 + 70*915 - 21*9456 + 1*144632; %e A375450 ... %e A375450 The triangle A054142(n,k) = binomial(2*n-k,k) begins: %e A375450 n=0: 1; %e A375450 n=1: 1, 1; %e A375450 n=2: 1, 3, 1; %e A375450 n=3: 1, 5, 6, 1; %e A375450 n=4: 1, 7, 15, 10, 1; %e A375450 n=5: 1, 9, 28, 35, 15, 1; %e A375450 n=6: 1, 11, 45, 84, 70, 21, 1; %e A375450 ... %o A375450 (PARI) {a(n) = my(A=[1]); for(i=1, n, A=concat(A, 0); %o A375450 A[#A] = sum(k=0, #A-1, (-1)^(#A-k) * binomial(2*(#A-1)-k, 1*k) * polcoef(Ser(A)^(#A-1), k) )/(#A-1) ); A[n+1]} %o A375450 for(n=0, 20, print1(a(n), ", ")) %Y A375450 Cf. A054142, A375451. %K A375450 nonn %O A375450 0,3 %A A375450 _Paul D. Hanna_, Sep 11 2024