|
%I #28 Apr 15 2023 06:23:30
%S 1,12,1440,362880,87091200,11496038400,376610217984000,
%T 903864523161600,36877672544993280000,529710888436283473920000,
%U 3496091863679470927872000000,50785334440817577689088000000
%N Denominator of Nemes number 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, we have
%F G_n = Sum_{m=0..n} B_{2m+2} * G_{n-m-1} / ((2m+1) * (2*n)).
%F a(n) = denominator(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 a181856 := n -> denom(G(n));
%t a[0] = 1;
%t a[n_] := a[n] = Sum[ BernoulliB[2m + 2]*a[n - m - 1]/(2m + 1), {m, 0, n}]/(2n);
%t Table[a[n] // Denominator, {n, 0, 11}] (* _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_] := Denominator[p[2n]];
%t Table[a[n], {n, 0, 11}] (* _Jean-François Alcover_, Sep 09 2018 *)
%Y Cf. A000367, A002445, A181855 (numerators).
%K nonn,frac
%O 0,2
%A _Peter Luschny_, Dec 02 2010
| 