arXiv:2010.13645v4 [math.NT] 11 Aug 2021 ahmtclAsc fAeiaAeia ahmtclMont Mathematical American America of Assoc. Mathematical aur 2014] January factorial: 8hcnuy hr,i atclr baa eMir showe Moivre de Abraham particular, in where, century, 18th eisepnin.Tesuyo bann smttc to asymptotics contributions obtaining and of study objects, The used of expansions. being series collection coefficients, include a binomial arises of for it permutations block where building Places a others. being many and theory, including ring disciplines, various in itself finding portance, INTRODUCTION. 1. If alda called hnthe Then o oeconstant some for smttc naCaso eedeFormulas Legendre of Class a on Asymptotics ento 1. Definition atra n[ in factorial h constant: the • • • w .Let 2. .Fraynneaieintegers nonnegative any For 1. h hraafactorial Bhargava The atra vrtesto rmsadt eswl-nw Lege well-known less a to and primes of wea set give the will over we factorial application, an As approximation. Stirling oe of power h rms nti ril,w osrc factorial, a construct we article, this In primes. the Abstract. ttetr fte2s etr,Mnu hraaitoue a introduced Bhargava Manjul century, 21st the of turn the At eedefrua or formula, Legendre ngnrl o each for general, In hoea element an Choose hoeayelement any Choose p ( S a ) } p Then . eostehgetpwrof power highest the denoes hraafcoilover factorial Bhargava -ordering f Let eapiiieplnma fdegree of polynomial primitive a be 1 p K ]. Let dividing v f d n = ( ( eara-audfnto fasnl aibesc hti is it that such variable single a of function real-valued a be S K ,f S, ,p S, √ of ⊆ ae,i h 8hcnuy ae trig[ Stirling James century, 18th the in Later, . 2 f a S π fcoil n hw ujc ocranciei,that criteria, certain to subject show, and -factorial, ) = ) Z ( n SMTTC NLGNR FORMULAS LEGENDRE ON ASYMPTOTICS 1 a a feeet of elements of , . divides h atra ucini udmna beto totim- utmost of object fundamental a is function factorial The 0 eabtayadfi prime a fix and arbitrary be ∈ n ≥ n ∈ w − S ! 1 S p S hoea element an choose , a with , (( htmnmzstehgetpwrof power highest the minimizes that . 0 k a )( n n ! n S S ! a ! S k ay Diaz Maiyu − . l 2: uut1,22 24 ..Asymptotics˙on˙a˙Clas a.m. 12:41 2021 12, August 121:1 hly n denoted , ∼ S = and − p a Ke ⊆ 0 dividing Y S a )( p l 1 Z , − a sfollows: as ) v aifisfu rprisaaoost the to analogous properties four satisfies , ( n n · · · k n n n − ( + n n ,p S, ! ( S +1 ! a a a f k sdfie as defined is , l 1 soitdto associated , hndefine then , n )! / a ) n let and ) 2 n S − . · · · p prxmtost h Bhargava the to approximations k samlil of multiple a is ∈ osrc sequence a Construct . a obntrc,nme theory, number combinatorics, deformula. ndre ( n S a n − n d ! 1 htmnmzstehighest the minimizes that ( ) ae akt h 7hand 17th the to back dates oamjrpr fTaylor of part major a to − ,f S, . ht[ that d u r o iie to, limited not are but , ocuttenme of number the count to a f 8 aldteassociated the called , n gcd = ) eeaiaino the of generalization a bet specify to able was ] − n p 1 ! )) f dividing 5 aifisaweak a satisfies k ] . ! oiieover positive S l { ! S f . ( a { a a 1 ) i − } | a i ≥ a ∈ 0 0 1 , . ˙fLgnr˙omls˙rf˙.˙txpg 1 page s˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 2
3. Let a , a , . . . , a S be any n + 1 integers. Then the product 0 1 n ∈
(ai aj ) i n−1 n . gcd (n, k!S ) kY=0 Manjul Bhargava in [1] remarks the following: Question 31: What are analogues of Stirling’s formula for generalized factorials? In this article, we obtain weak asymptotic formulas for P, the set of primes, and a set S′, which we will define momentarily. Specifically, we prove the following theorems. Theorem 2. Let n!P denote the Bhargava factorial over the set of primes P. Then log(n + 1)!P = log n!+ Cn + o(n), where log p C = = 1.2269688 .... (p 1)2 p∈P X − Consider the sequence 1, 6, 360, 45360, 5443200, 359251200,... which can be found as sequence A202367 at www.oeis.org. While this sequence may not be obviously related to the Bhargava factorial, it is interesting to note that in [6], N. Mathur devised an algorithm to show that, for any sequence under spe- cific criteria, we can determine a set S Z associated with the sequence. From this, we can determine a set S′ associated with⊆ the sequence A202367; a quick computa- ′ tion of the first few terms of the set gives S = 2, 4, 16, 22,... , outputting n!S′ = 1, 1, 6, 360,... . { } { } Theorem 3. Let n!S′ denote the Bhargava factorial over the set associated with the sequence A202367. Then log(n + 1)!S′ = log(2n)! + βn + o(n), where log p p β = 2 = 1.0676431 .... (p 1) (p 1)/2 p∈P − X − ⌈ − ⌉ 2 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 3 The proofs of Theorems 2 and 3 will be given in Section 4. Each of the Bhargava factorials discussed in [1] and in sequence A202367 yields a Legendre formula that can be expressed as n k≥0 f(p)pk pP , (1) p∈P Y for some real-valued map f—as such, in determining the asymptotics for the Bhargava factorials discussed, we will investigate (1). In Section 2, we will define the associated Legendre formula for a real-valued map, or alternatively for the f-factorial, and prove specific properties about them and make connections with the Bhargava factorial. In Section 3, we will prove, under certain criteria for f, an asymptotic formula for the f-factorial—a general result that will provide approximations for the Bhargava factorial over P and S′. Due to the lack of assumptions on f, we consider classes of functions f that can be approximated “well-enough” by linear maps, which we will explain further in this section. In Section 4, we will apply our results from the previous section to certain classes of Legendre formulas obtained from the Bhargava factorial, including over P and S′ discussed earlier, and compare them to their respective asymptotics. 2. PRELIMINARIES. Before we proceed, we let x denote the floor function of a ⌊ ⌋ real number x, log denote the natural logarithm, and N = Z+ = 1, 2, 3,... denote the natural numbers. { } Definition 4. Let f : R R such that f is positive over P. The associated Legendre formula for f, or the f-factorial→ , is defined as n k≥0 f(p)pk n!f(x) = pP . p∈P Y For short, we may write n!f instead. Example 5. Let f(x)= x be the identity map; by Legendre’s formula, we have n k≥0 pk+1 n!x = n!= pP , p∈P Y with the sequence n! = 1, 1, 2, 6, 24, 120,... . { x}n≥0 { } Example 6. Let f(x) = log x; we have n k≥0 pk log p n!log x = pP , p∈P Y with the sequence n! = 1, 2, 840, 1862340480,... . { log x}n≥0 { } While the above examples produce interesting and known examples of Legendre formulas, there are other examples for which n!f is not defined. January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 3 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 4 Example 7. Let f(x)= sin x ; we have | | n k≥0 pk| sin p| n!| sin x| = pP . p∈P Y However, since csc x 1, we have | |≥ n n!| sin x| p , ≥ P pY∈ where the product diverges for n 1. Thus, n! is not defined for all n. ≥ | sin x| Based on this, we find, whenever f tends to infinity along P, that its f-factorial n!f is a natural number. In particular, one of the interesting facts about n!f is its being a natural number is equivalent to the first exponential term being a natural number; in addition, n!f is a natural number whenever we consider the classes of functions f mentioned previously. Theorem 8. Let f : R R be positive over P. The following are equivalent: → n 1. The sum log p converges to log k for some natural number k. P f(p) Xp∈ 2. n!f is a natural number. To prove Theorem 8 we shall first establish the following lemma. Lemma 9. Let bk 0 denote a strictly decreasing sequence of nonnegative integers; then the sequence defined≥ by bk ak = p , (2) p∈P Y with a0 assumed to be finite, is a strictly decreasing sequence of natural numbers such that a = a = = 1 for some N. N N+1 · · · Proof. Since bk is strictly decreasing, we have ak is strictly decreasing; furthermore, since bk is a strictly decreasing sequence of nonnegative integers, by the pigeon-hole principle, there exists an N such bN = bN+1 = = 0. Consequently, we have aN = a = = 1, as desired. · · · N+1 · · · Before we proceed to prove Theorem 8, using Lemma 9, we note that n!f shares some properties with the Bhargava factorial. Specificially, one of the properties they share is that n!f , like the Bhargava factorial, satisfies a binomial coefficient formula. Corollary 10. For arbitrary nonnegative integers n, k, the f-factorial (n + k)!f is a multiple of n!f k!f . In addition, n!f and the Bhargava factorial both satisfy a comparison theorem; that is, in [1, Lemma 13], M. Bhargava noted that if T,S are two subsets of Z and n!T , n!S are their respective Bhargava factorials such that T S, then n!S n!T for every n 0. ⊆ | ≥ Corollary 11. Let f, g : R R be real-valued maps and let n!f ,n!g denote their respective f-factorials. Suppose→ f(p) g(p) for all primes p; then n! n! . ≤ g | f 4 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 5 As an example, if f(x) = x 1 and g(x) = x, we have n! = (n + 1)!P and − f n!g = n!, so that n! (n + 1)!P. Finally, we note that, since the Bhargava factorial n!S is a multiple of n! for| any set S Z, if we restrict the classes of f to functions that ⊆ satisfy f(p) p for all primes p, by Corollary 11, then n!f is a multiple of n!. We now prove≤ Theorem 8. Proof. Suppose that the sum n log p f(p) p∈P X k converges to log k for some natural number k. Let bk = n/(f(p)p ) ; then n f(p)pk ak = p , p∈P Y and a0 is finite by our assumption, so that, by Lemma 9, we have then n!f = a a a , implying the naturality of n! . 1 2 · · · N−1 f Assume n!f is a natural number; by the fundamental theorem of arithmetic, n!f = pa1 pa2 par , so that the f-factorial has the closed form 1 2 · · · r ∞ n log p = log pai . (3) f(p)pk i p∈P k=0 1≤i≤r X X Y Since the sum converges, and the right-hand sum in (3) is a logarithm of a natural number, all of the terms in the right-hand sum are finite, including the sum n log p . f(p) p∈P X As a consequenceof convergence,the terms must tend to 0; in other words, for any ǫ> 0, there is some natural number, call it n , such that for all primes p n , we have f ≥ f n/f(p) < ǫ/ log p. We choose nf large enough such that there is an ǫ satisfying ǫ<⌊ log p⌋; then n/f(p) = 0, so that the sum is ⌊ ⌋ n n log p = log pj f(p) k, f(p) p∈P p Theorem 12. If f tends to infinity along P, then n!f is a natural number for all n. Proof. Since f tends to infinity along P, for every n, there exists a prime p′ such that, for primes p p′, f(p) >n. Partition P = P P′ , where ≥ f ∪ f P = p P f(p) n , f { ∈ | ≤ } January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 5 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 6 P′ P P ′ and f is its complement. Observe that f is finite, i.e., f p ; then the sum can be decomposed as | |≤ n n log p = log pj f(p) k. (4) P f(p) P Xp∈ pY∈ f Since the term on the right in (4) is a natural number, by Theorem 8, we have n!f is a natural number, as desired. From this point forward, we will assume n!f is a natural number. We will conclude this section by observing, for real-valued functions f satisfying 0 < f(p) p for prime p, like the Bhargava factorial, is an example of an abstract factorial [7].≤ Definition 13. An abstract (or generalized) factorial is a function !a : N Z+ that satisfies the following conditions: → 1. 0!a = 1. 2. For every nonnegative integers n, k such that 0 k n, the generalized bino- mial coefficients ≤ ≤ n n!a = Z+. k! (n k)!ak!a ∈ a − 3. For every natural number n, n! divides n!a. For n!f , this follows from the fact, by construction, 0!f = 1 and the second and third conditions follow from Corollary 10 and 11, respectively. As a consequence of being an abstract factorial, n!f admits various interesting properties, including that the sum ∞ 1 n=0 n!f X is irrational and that no integer k 2 satisfies k! = (k + 1)! = (k + 2)! . In ad- ≥ f f f dition, open questions about abstract factorials extend to n!f , including whether there exists a function φ of bounded variation on [0, ) such that ∞ ∞ n n!f = x dφ(x). Z0 3. ASYMPTOTIC FORMULA. The question of when n!f admits an asymptotic expansion for arbitrary f seems out of reach due to the various classes of functions f that we would need to consider; as an example, if f(x)= √x, its f-factorial would not admit an asymptotic expansion via Theorem 14 since it does not satisfy the criteria described in its premise and thus we would need a stronger method of approximation. For our purposes, we will consider maps that can be approximated “well enough” by linear maps in the following sense: Theorem 14. Let f be real-valued and positive over P. Suppose there exists a positive integer α and a real constant M 0 such that ≥ 1 α M 0 . ≤ f(p) − p ≤ p2 6 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 7 Then log n!f = log(αn)! + βf n + o(n), for some nonnegative constant βf depending on f. In proving Theorem 14, we establish the following lemma. Lemma 15. For any natural number n, we have αn Mn n M log p + = log p α + + o(n). pk+1 pk+2 p 1 p p∈P k≥0 p∈P X X X − We will first define the first f-Chebyshev function and second f-Chebyshev func- tion. Definition 16. Let f be a real-valued map such that f tends to infinity and is positive over P. Then the first f-Chebyshev function and second f-Chebyshev function are defined, respectively, as ϑf (x)= log p and ψf (x)= ϑgk (x), k≥0 f(Xp)≤x X k where gk := gk(p)= f(p)p . Observe that, since f is positive and tends to infinity over P, for sufficiently small x, both ϑf (x) and ψf (x) are zero. Furthermore, we have the following corollary. Corollary 17. Let f be strictly increasing and bijective over P; then ϑ = ϑ f −1. f ◦ We will now prove Lemma 15. Proof. Consider the sum αn Mn log p + . pk+1 pk+2 p∈P X Xk≥0 We have αn Mn log p + = log p pk+1 pk+2 P 0 1 0 n(αp+M) p∈ k≥ m≥ ,k≥ m≤ January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 7 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 8 For large enough l, we have ψf (αn/l) = 0, so that αn Mn αn log p k+1 + k+2 = ψf , P p p m Xp∈ Xk≥0 mX≥1 where f(x)= αx2/(αx + M). Similarly, for n M log p α + , p 1 p p∈P X − we have n M log p α + = m log p p 1 p P 1 n(αp+M) p∈ m≥ m≤ 1 ∞ α q q ψf (u) ϑh(u) ψf ϑh dx = α −2 du. q 0 x − x q u Z Z We first rewrite the integral as ∞ ψ (u) ϑ (u) ∞ ψ (u) ϑ (u) ∞ ϑ (u) ϑ (u) f − h du = f − f du h − f du, u2 u2 − u2 Zq Zq Zq so that we may focus on each of the respective integrals ∞ ψ (u) ϑ (u) α f − f du, (5) u2 Zq ∞ ϑ (u) ϑ (u) α h − f du. (6) u2 Zq 8 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 9 Each of these improper integrals is convergent; to see this, let’s first consider (5). From the definition of ϑf (x), we have ϑ (x) log αx αx log αx, f ≤ ≤ p≤αx X so that ψ (x) ϑ (x) 1 √α log2 αx 0 f − f (αx)1/k log(αx)1/k , ≤ x ≤ x ≤ 2 log 2√x 2≤k≤Xlog2 αx which, by the monotone convergence theorem, implies the convergence of (5). As for (6), observe that x + 1 (x + 1)2 xM x x2 xM h−1(x)= + + and f −1(x)= + + . (7) 2 r 4 α 2 r 4 α Since f h, we have ϑ ϑ ; using Corollary 17, this implies ≥ h ≥ f Mx (ϑ ϑ )(x)= log p log x + + 1 1 h − f ≤ α −1 −1 r ! −1 −1 f (x) ∞ ∞ ψf (u) ϑf (u) 1 α −2 du = α 2 ϑgk (u) du 0 u 0 u Z Z Xk≥1 ∞ ϑgk (u) = α 2 du 0 u Xk≥1 Z ∞ f ′(u)uk + kf(u)uk−1 = α ϑ(u) 2 2k du 0 f (u)u Xk≥1 Z ∞ f ′(u)(u 1) + f(u) = α ϑ(u) − du f 2(u)(u 1)2 Z0 − ∞ ϑ(u) 2αu2 + (3M α)u 2M = − − du. u3 (u 1)2 Z0 − The justification for the interchange between the summation and integral signs fol- 2 lows from Tonelli’s theorem since ϑgk (u)/u is nonnegative for every positive real u and natural number k. Now consider (6); let n be a natural number and consider n ϑ (u) ϑ (u) α h − f du. u2 Z0 January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 9 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 10 Recall (7); since h−1 f −1, applying Corollary 17, the following difference has the representation ≥ n h−1(n) ′ ϑh(u) ϑf (u) f (u) α −2 du α ϑ(u) 2 du u − −1 f (u) Z0 Zf (n) −1 h (n) h′(u) f ′(u) = α ϑ(u) du h2(u) − f 2(u) Z0 −1 h (n) ϑ(u) 2αu2 + (3M α)u 2M = − − du. u3 (u 1)2 Z0 − It remains to show that −1 h (n) f ′(u) (8) α ϑ(u) 2 du 0, −1 f (u) → Zf (n) for arbitrarily large n. In [3], P. Dusart showed that ϑ(x) < Cx for some C > 1; thus we have −1 −1 h (n) f ′(u) h (n) αu2 + 2Mu h−1(n) K α ϑ(u) 2 du Proof. Let µ denote the countingmeasure; define a sequenceof functions hn(p, k) n≥1 in two variables as { } log p n αn h (p, k)= . n n f(p)pk − pk+1 Since nx /n x pointwise for any real x, it follows that hn(p, k) h(p, k) point- wise, where⌊ ⌋ → → log p 1 α h(p, k)= . pk f(p) − p We are interested in passing the limit under the integrals lim hn(p, k) dµ(k) dµ(p)= h(p, k) dµ(k) dµ(p), n→∞ P Z P Z Z Z ≥0 Z Z ≥0 which will require a doubly application of the dominated convergence theorem. By our assumption, we have the series of inequalities log p αn Mn αn log p αn Mn h (p, k) + + . (9) n ≤ n pk+1 pk+2 − pk+1 ≤ pk p p2 10 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 11 The upper bound in (9) is integrable; in particular, we have log p αn Mn log p αn Mn + dµ(k)= + Z pk p p2 pk p p2 ≥0 k≥0 Z X p log p αn Mn = + , p 1 p p2 − so that, by the dominated convergence theorem, we can pass the limit under the inner integral. For the outer integral, we have log p n αn hn(p, k) dµ(k)= . (10) Z k k+1 ≥0 n f(p)p − p Z Xk≥0 Observe that (10) converges pointwise to h(p, k)dµ(k) since we have the bound Z Z ≥0 1 α an log p hn(p, k) dµ(k) log p , Z − f(p)pk − pk+1 ≤ n Z ≥0 k≤an X where a n = log max n/f(p), αn/p . By the squeeze theorem, we have p { } p log p 1 α hn(p, k) dµ(k) h(p, k) dµ(k)= . (11) Z → Z p 1 f(p) − p Z ≥0 Z ≥0 − Define log p αn Mn αn g (p)= + . n n pk+1 pk+2 − pk+1 Xk≥0 By our assumptions, gn(p) is an upper bound for (10) and converges pointwise to M log p g(p)= . p(p 1) − To see this, notice the sum in gn(p) is nonzero for k bn := logp(max α, M n); then, similar to (10), we have the inequality ≤ { } M bn log p gn(p) log p , (12) − pk+2 ≤ n k≤bn X so that, by the squeeze theorem, gn(p) g(p). We require that this limit also gives → lim gn(p)dµ(p)= g(p)dµ(p). n→∞ P P Z Z By Lemma 15, we have 1 αn Mn αn lim gn(p) dµ(p) = lim log p + n→∞ n→∞ k+1 k+2 k+1 P n P p p − p Z Xp∈ Xk≥0 January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 11 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 12 1 n M αn = lim log p α + . n→∞ n p 1 p p 1 p∈P − X − − We want to show that, for any natural number n, the following holds up to o(n): n M n Mn log p α + log p . (13) p 1 p p 1 p(p 1) p∈P − ∼ p∈P X − − X − Fortunately, the approach to establishing this is akin to the proof of Lemma 15; observe that if αx(x 1) αx(x 1) h = − , f = α(x 1), and f = − , αx + M 1 − 2 M the left-hand sum in (13) may be written as 1 αn αn αn lim ϑh ϑf ϑf , n→∞ n m − 1 m − 2 m m≤(αX+M/2)n h i where each of the summands is zero for m> (α + M/2)n. Taking the limit, we have the Riemann sum converges to the improper integral 1 ∞ α q (ϑh ϑf1 ϑf2 ) (u) (ϑh ϑf1 ϑf2 ) dx = α − −2 du, q 0 − − x q u Z Z where q = 2α/(2α + M) and the same u-substitution was applied in the proof of Lemma 15. Again, we may extend the lower limit of integration to 0 since the integrand is zero for sufficiently small u. Consider n ϑ (u) ϑ (u) ϑ (u) α h − f1 − f2 du. u2 Z0 Applying Corollary 17, we have n ϑ (u) ϑ (u) ϑ (u) α h − f1 − f2 du u2 Z0 n ϑ (u) ϑ (u) n ϑ (u) = α h − f1 du α f2 du u2 − u2 Z0 Z0 −1 h (n) h′(u) f ′ (u) = α ϑ(u) 1 du h2(u) − f 2(u) Z0 1 −1 −1 f2 (n) ′ h (n) ′ f2(u) f1(u) α ϑ(u) 2 du + α ϑ(u) 2 du − 0 f (u) f −1(n) f (u) Z 2 Z 1 1 h−1(n) f −1(n) h−1(n) 2 ϑ(u) 2u 1 ϑ(u) = M 2 − 2 du + 2 du. 0 − 0 u (u 1) f −1(n) (u 1) Z Z ! − Z 1 − 12 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 13 Again, similar to the proof of Lemma 15, we have −1 h (n) ϑ(u) 2 du 0, f −1(n) (u 1) → Z 1 − so that we have h−1(n) f −1(n) 2 ϑ(u) 2u 1 M − du 0, − u2 (u 1)2 → Z0 Z0 ! − implying (12). Putting (11) and (13) together, by the dominated convergence theorem, we have lim hn(p, k) dµ(k) dµ(p)= h(p, k) dµ(k) dµ(p), n→∞ P Z P Z Z Z ≥0 Z Z ≥0 where p log p 1 α h(p, k) dµ(k) dµ(p) = . (14) P Z ≥0 P p 1 f(p) − p Z Z Xp∈ − Denote (14) by β ; from our assumptions, we have β 0. Furthermore, we have f f ≥ p log p 1 α M log p log p 2M 2Mζ′(2), p 1 f(p) − p ≤ p(p 1) ≤ p2 ≤− p∈P p∈P p∈P X − X − X where ζ(s) is the classical Riemann zeta-function. By the monotone convergence the- orem, βf is finite, which proves Theorem 14. 4. APPLICATIONS. We are interested in discussing applications of Theorem 14 to various Legendre formulas, in particular focusing on the Bhargava factorials over the set of primes and the set associated with sequence A202367. Bhargava factorial over the set of primes. In this section, we prove Theorem 2. Recall that the Bhargava factorial is given in Definition 1. Proof of Theorem 2. Let f(x)= x 1. We find M = 2 and α = 1 satisfy the criteria − of Theorem 14, where n!f = (n + 1)!P. We have log(n + 1)!P = log n!+ Cn + o(n), as desired. Interestingly, the constant C occurs in the study of the Carmichael function λ(n), which is defined to be the smallest positive integer satisfying aλ(n) 1 (mod n) for every integer a between 1 and n coprime to n. In particular, for all≡ numbers m but o(m) positive integers such that n m, we have ≤ n λ(n)= , (log n)log log log n+A+o(1) January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 13 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 14 Table 1. Table of values comparing log(n + 1)!P and log n!+ Cn. n log(n + 1)!P log n!+ Cn 1 .6931... 1.2269... 2 3.1780... 3.1470... 3 3.8712... 5.4726... 4 8.6586... 8.0859... 5 9.3518... 10.9223... 6 14.8812... 13.9410... 7 15.5744... 17.1139... 8 21.0550... 20.4203... 9 21.7482... 23.8445... 10 26.6310... 27.3741... 100 471.9704... 480.6040... 1,000 7,119.5084... 7,130.9600... 5,000 43,759.7980... 43,726.0000... 10,000 94,417.8375... 94,378.6000... where A = C 1 (see [2]). In addition, the constant C also appears in the study of Ω(n), which is− defined to be the number of not necessarily distinct prime factors of a natural number n. In particular, the variance of Ω(n) is given by the asymptotics a var(Ω(n)) log log n + a + 2 + ∼ 1 log n · · · where a1 .76478 . . . and a2 = γ 1 2C, where γ is the Euler–Mascheroni con- stant (see≈ [4]). − − LCM of a class of a polynomials. Consider the least common multiple of the denom- inators of the coefficients of polynomials pm(n) defined by the recursion n 2 pm(n)= i p(m−1)(i) i=1 X for m 1, with p (n) = 1; this generates the sequence ≥ 0 1, 6, 360, 45360, 5443200, 359251200,... (15) which is sequence A202367 on www.oeis.org. Vladimir Shevelev and Peter Moses noted that it is conjectured that the sequence in (15) is given by n−1 k≥0 ⌈(p−1)/2⌉pk pP . (16) p∈P Y Let S′ = 2, 4, 16, 22,... denote the set associated with sequence A202367 so that { } we have its Bhargava factorial n!S′ , given by the formula in (16). We now prove The- orem 3. Proof of Theorem 3. Let f(x)= (x 1)/2 . We find M = 4 and α = 2 satisfy the ⌈ − ⌉ criteria of Theorem 14, where n!f = (n + 1)!S′ . We have log(n + 1)!S′ = log(2n)! + βn + o(n), as desired. 14 © THE MATHEMATICAL ASSOCIATION OF AMERICA [Monthly 121 Mathematical Assoc. of America American Mathematical Monthly 121:1 August 12, 2021 12:41 a.m. Asymptotics˙on˙a˙Class˙of˙Legendre˙formulas˙˙Draft˙3.1˙.tex page 15 Table 2. Table of values comparing log(n + 1)!S′ and log(2n)! + βn. n log(n + 1)!S′ log(2n)! + βn 1 1.7917... 1.7607... 2 5.8861... 5.3133... 3 10.7223... 9.7821... 4 15.5098... 14.8751... 5 19.6995... 20.4426... 6 29.4033... 26.3931... 7 31.1951... 32.6647... 8 39.5089... 39.2130... 9 48.3882... 46.0042... 10 56.4899... 53.0120... 100 982.0880... 969.9960... 1,000 14,288.7934... 14,274.2000... 5,000 87,486.3657... 87,447.1000... 10,000 188,805.0729... 188,752.0000... ACKNOWLEDGMENTS. The author is grateful to Ryan Kinser and David Adam for their remarks on the initial version of the manuscript and to the reviewers for their feedback on this article. In addition, the author is grateful to Holly Swisher and Samadhi Metta-Bexar for their unconditional support. REFERENCES 1. Bhargava, M. (2000). The factorial function and generalizations. Amer. Math. Monthly. 107(9): 783–799. 2. Crstici, B., S´andor, J. (2004). Handbook of Number Theory II. Dordrecht: Kluwer Academic Publishers. 3. Dusart, P. (2010). Estimates of some functions over primes without R. H. arxiv.org/abs/1002.0442 4. Finch, S. (2003). Two asymptotic series. citeseerx.ist.psu.edu/viewdoc/download;jsessionid= DC857E6E7DEE64EF387177C473908C5A?doi=10.1.1.725.1614&rep=rep1&type=pdf 5. Le Cam, L. (1986). The central limit theorem around 1935. Statist. Sci. 1(1): 78–91. 6. Mathur, N. (2017). An algorithm to reverse the generalized factorials process. M.Sc. thesis. University of Tulsa, Tulsa, OK. 7. Mingarelli, A. (2013). Abstract factorials. Notes on Number Theory and Discrete Mathematics. 19(4): 43-76. 8. Pearson, K. (1924). Historical note on the origin of the normal curve of errors. Biometrika. 16(3/4): 402- 404. MAIYU DIAZ received their MSc. in mathematics from the University of Iowa and their B.A. in mathematics from St. Mary’s University in San Antonio, TX. They are currently completing their Ph.D. in mathematics at Texas Christian University. Department of Mathematics, Texas Christian University, Fort Worth TX 76129 January 2014] ASYMPTOTICS ON LEGENDRE FORMULAS 15