|
%I #21 Apr 15 2023 02:07:16
%S 1,1,1,239,-46409,9113897,-695818219549,5649766313929,
%T -1070083202835456443,93856597276403726428217,
%U -4815785492460413153189484781,674781102986061046417681986493,-9845646538265462155478818981872958283
%N Numerator of Nemes numbers G_n.
%C G(n) = A181855(n)/A181856(n). Nemes numbers provide the coefficients for an asymptotic expansion for the Gamma function for real arguments greater than or equal to one.
%C Gamma(x) = sqrt(2*Pi/x)*((x/e)*(Sum_{k=0..n-1} G_k x^(-2k) + R_n(x)))^x.
%H Gergő Nemes, <a href="http://dx.doi.org/10.1007/s00013-010-0146-9">New asymptotic expansion for the Gamma function</a>, Arch. Math. 95 (2010), 161-169, Springer Basel.
%H W. Wang, <a href="http://dx.doi.org/10.1016/j.jnt.2015.12.016">Unified approaches to the approximations of the gamma function</a>, J. Number Theory (2016).
%F G_0 = 1 and for n > 1 and B_n denoting the Bernoulli number,
%F G_n = Sum_{m=0..n} B_{2m+2} G_{n-m-1} / (2m+1),m=0..n-1)/(2n)).
%F a(n) = numerator(p(2*n)) with p(n) = Y_{n}(0, z_2, z_3, ..., z_n)/n! with z_k = (k-2)!*Bernoulli(k,1) and Y_{n} the complete Bell polynomials. - _Peter Luschny_, Oct 03 2016
%e G_0 = 1, G_1 = 1/12, G_2 = 1/1440, G_3 = 239/362880.
%p G := proc(n) option remember; local k; `if`(n=0,1,
%p add(bernoulli(2*m+2)*G(n-m-1)/(2*m+1),m=0..n-1)/(2*n)) end;
%p a181855 := n -> numer(G(n));
%p # Alternatively:
%p p := n -> CompleteBellB(n, 0, seq((k-2)!*bernoulli(k, 1), k=2..n))/n!:
%p a := n -> numer(p(2*n)): seq(a(n), n=0..12); # _Peter Luschny_, Oct 03 2016
%t a[0] = 1; a[n_] := a[n] = Sum[ BernoulliB[2m + 2]*a[n - m - 1]/(2m + 1), {m, 0, n}]/(2n); Table[a[n] // Numerator, {n, 0, 12}] (* _Jean-François Alcover_, Jul 26 2013 *)
%t CompleteBellB[n_, zz_] := Sum[BellY[n, k, zz[[1 ;; n-k+1]]], {k, 1, n}];
%t p[n_] := CompleteBellB[n, Join[{0}, Table[(k-2)! BernoulliB[k, 1], {k, 2, n}]]]/n!;
%t a[n_] := Numerator[p[2n]];
%t Table[a[n], {n, 0, 12}] (* _Jean-François Alcover_, Sep 09 2018 *)
%Y Cf. A000367, A002445, A181856 (denominators).
%K sign,frac
%O 0,4
%A _Peter Luschny_, Dec 02 2010
|
