login
a(n) is the smallest member of A000522 divisible by 2^n, where A000522(m) = total number of arrangements of a set with m elements.
3

%I #22 Feb 21 2019 03:06:21

%S 1,2,16,16,16,330665665962404000,

%T 4216377920843140187197325631474390438452208808916276571342090223552

%N a(n) is the smallest member of A000522 divisible by 2^n, where A000522(m) = total number of arrangements of a set with m elements.

%C a(n) < A000522(2^n) for n > 0; see Sondow and Schalm, Proposition A.13 part (ii).

%D J. Sondow and K. Schalm, Which partial sums of the Taylor series for e are convergents to e? (and a link to the primes 2, 5, 13, 37, 463), Gems in Experimental Mathematics (T. Amdeberhan, L. A. Medina, and V. H. Moll, eds.), Contemporary Mathematics, vol. 517, Amer. Math. Soc., Providence, RI, 2010.

%H Jean-François Alcover, <a href="/A138761/b138761.txt">Table of n, a(n) for n = 0..9</a>

%H J. Sondow and K. Schalm, <a href="http://arxiv.org/abs/0709.0671">Which partial sums of the Taylor series for e are convergents to e? (and a link to the primes 2, 5, 13, 37, 463), II</a>, arXiv:0709.0671 [math.NT], 2007-2009.

%H <a href="/index/Fa#factorial">Index entries for sequences related to factorial numbers</a>

%F a(n) = A000522(A127014(n)) = Sum_{k=0..A127014(n)} A127014(n)!/k! for n > 0.

%e a(5) = A000522(19) = 330665665962404000 because that is the smallest member of A000522 divisible by 2^5.

%t a522[n_] := E Gamma[n + 1, 1];

%t (* b = A127014 *)

%t b[1] = 1; b[n_] := b[n] = For[k = b[n - 1], True, k++, If[Mod[a522[k], 2^n] == 0, Return[k]]];

%t a[0] = 1; a[n_] := a522[b[n]];

%t Table[a[n], {n, 0, 6}] (* _Jean-François Alcover_, Feb 20 2019 *)

%Y Cf. A000522, A127014, A127015.

%K nonn

%O 0,2

%A _Jonathan Sondow_, Apr 01 2008