%I #13 Mar 02 2026 03:48:21
%S 2,16,1020,165536,49320160,23135212080,15630527512432,
%T 14347969660399360,17168404551237910944,25958066829841770846080,
%U 48399006022125586628932736,109114846124680246152236983296,292658282423729795503719053388032,921152122780387427929905530363699968,3362986922125901260144227986553038280960
%N O.g.f. A(x) satisfies: [x^n] exp( n^2*(n+1)*x - n*A(x) ) = 0 for n >= 1.
%H Paul D. Hanna, <a href="/A393761/b393761.txt">Table of n, a(n) for n = 1..301</a>
%F a(n) ~ sqrt(1-w) * 3^(3*n - 2/3) * n^(2*n - 3/2) / (sqrt(2*Pi) * exp(2*n) * (3-w)^(2*n-1) * w^(n + 1/3)), where w = -A226750 = -LambertW(-3*exp(-3)). - _Vaclav Kotesovec_, Mar 02 2026
%e O.g.f.: A(x) = 2*x + 16*x^2 + 1020*x^3 + 165536*x^4 + 49320160*x^5 + 23135212080*x^6 + 15630527512432*x^7 + 14347969660399360*x^8 + ...
%e ILLUSTRATION OF DEFINITION.
%e The table of coefficients of x^k/k! in exp( n^2*(n+1)*x - n*A(x) ) begin
%e n = 1: [1, 0, -32, -6120, -3969792, ...];
%e n = 2: [1, 8, 0, -13264, -8345600, ...];
%e n = 3: [1, 30, 804, 0, -13802544, ...];
%e n = 4: [1, 72, 5056, 321120, 0, ...];
%e n = 5: [1, 140, 19440, 2646200, 328420480, 0, ...];
%e ...
%e in which a diagonal, the coefficient of x^n in row n, equals all zeros.
%e RELATED SERIES.
%e exp(A(x)) = 1 + 2*x + 36*x^2/2! + 6320*x^3/3! + 4025680*x^4/4! + 5960384352*x^5/5! + 16730918782144*x^6/6! + ...
%e where [x^n] exp(n^2*(n+1)*x) / exp(A(x))^n = 0 for n >= 1.
%o (PARI) {a(n,k=1) = my(A=[0], m); for(i=1, n+1, m=#A; A=concat(A, 0); A[m+1] = Vec( exp(m^2*(m+k)*x - m*Ser(A)) )[m+1]/m ); polcoef( Ser(A), n)}
%o for(n=1, 15, print1(a(n,1), ", "))
%Y Cf. A393760, A317347, A393762, A393763, A393764, A393765, A393766, A393767.
%K nonn
%O 1,1
%A _Paul D. Hanna_, Mar 01 2026