%I #19 Feb 10 2024 04:45:58
%S 1,1,4,44,1546,180096,69656776,90247564712,398349418563148,
%T 6107204301234263072,331155704662551903747856,
%U 64494012244416274972130226976,45679970430008422082570864807000804,118841746271330792971612314663523090972880,1144692720783363684402532942114790915481788335224
%N a(n) = Sum_{k=0..n} (-1)^(n-k) * binomial(n,k) * binomial(2^k,n).
%H G. C. Greubel, <a href="/A134174/b134174.txt">Table of n, a(n) for n = 0..59</a>
%F G.f.: Sum_{n>=0} log(1 + (2^n-1)*x)^n / n!.
%F a(n) = (1/n!) * Sum_{k=0..n} Stirling1(n,k) * (2^k-1)^n.
%F From _Vaclav Kotesovec_, Jul 02 2016: (Start)
%F a(n) ~ binomial(2^n,n).
%F a(n) ~ 2^(n^2) / n!.
%F a(n) ~ 2^(n^2 - 1/2) * exp(n) / (sqrt(Pi) * n^(n+1/2)).
%F (End)
%e G.f.: A(x) = 1 + x + 4*x^2 + 44*x^3 + 1546*x^4 + 180096*x^5 +...
%e where
%e A(x) = 1 + log(1+x) + log(1+3*x)^2/2! + log(1+7*x)^3/3! + log(1+15*x)^4/4! + log(1+31*x)^5/5! + log(1+63*x)^6/6! + log(1+127*x)^7/7! + log(1+255*x)^8/8! +...
%t Table[Sum[(-1)^(n-k)*Binomial[n,k]*Binomial[2^k,n],{k,0,n}],{n,0,15}] (* _Vaclav Kotesovec_, Jul 02 2016 *)
%o (PARI) {a(n)=local(A=1, X=x+x*O(x^n)); A=sum(k=0, n, log(1+(2^k-1)*X)^k/k!); polcoeff(A, n)}
%o for(n=0, 20, print1(a(n), ", "))
%o (PARI) {Stirling1(n, k)=n!*polcoeff(binomial(x, n), k)}
%o {a(n)=1/n!*sum(k=0,n,Stirling1(n,k)*(2^k-1)^n)}
%o for(n=0, 20, print1(a(n), ", "))
%Y Cf. A133990.
%K easy,nonn
%O 0,3
%A _Paul D. Hanna_ and _Vladeta Jovovic_, Jan 13 2008
|