Hindawi Publishing Corporation Abstract and Applied Analysis Volume 2013, Article ID 218125, 4 pages http://dx.doi.org/10.1155/2013/218125 Research Article Note on the Lower Bound of Least Common Multiple Shea-Ming Oon Institute of Mathematical Sciences, University of Malaya, 50603 Kuala Lumpur, Malaysia Correspondence should be addressed to Shea-Ming Oon; oonsm@um.edu.my Received 1 July 2012; Revised 24 December 2012; Accepted 10 January 2013 Academic Editor: Pekka Koskela Copyright © 2013 Shea-Ming Oon. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Consider a sequence of positive integers in arithmetic progression π’π = π’0 + ππ with (π’0 , π) = 1. Denote the least common multiple of π’0 , . . . , π’π by πΏ π . We show that if π β©Ύ π2 + π, then πΏ π β©Ύ π’0 ππ+1 (π + 1), and we obtain optimum result on π in some cases for such estimate. Besides, for quadratic sequences π2 + π, (π + 1)2 + π, . . . , π2 + π, we also show that the least common multiple is at least 2π when π β©½ ⌈π/2⌉, which sharpens a recent result of Farhi. 1. Introduction Integer sequences in arithmetic progressions constitute a recurrent theme in number theory. The most notable result in this new century is perhaps the existence of arbitrary long sequences of primes in arithmetic progressions due to Green and Tao [1]. The bounds of the least common multiple for the finite sequences in arithmetic progressions also attract some attention. The prime number theorem assures that the least common multiple of the first π positive integers is asymptotically upper bounded by (π + π)π and lower bounded by (π − π)π for any prefixed π. As for effective uniform estimate, Hanson [2] obtained the upper bound 3π about forty years ago by considering Sylvester series of one. Nair [3] gave 2π as alower bound in a simple proof ten years later in view of obtaining a Chebyshev-type estimate on the number of prime numbers as in a tauberian theorem due to Shapiro [4]. Recently, some results concerning the lower bound of the least common multiple of positive integers in finite arithmetic progressions were obtained by Farhi [5]. Some other results about the least common multiple of consecutive integers and consecutive arithmetic progression terms are given by Farhi and Kane [6] and by Hong and Qian [7], respectively. If π0 , . . . , ππ are integers, we denote their least common multiple by [π0 , . . . , ππ ]. Consider two coprime positive integers π’0 and π, and put π’π = π’0 + ππ, πΏ π = [π’0 , . . . , π’π ]. A recent result of Hong et al. (cf. [8, 9]) shows that for any positive integers π, πΌ, π, and π such that π β©Ύ 2, πΌ, π β©Ύ π, π β©Ύ 2πΌπ, we have πΏ π β©Ύ π’0 ππΌ+π−2 (π + 1)π . Recently, Wu et al. [10] improved the Hong-Kominers lower bound. A special case of Hong-Kominers result tells us that if π β©Ύ π(π + 3) (or π β©Ύ π(π + 4)) if π is odd (or even), then πΏ π β©Ύ π’0 ππ+1 (π + 1)π . In this note, we find that the HongKominers lower bound is still valid if π ∈ [π(π + 1), π(π + π0 )) with π0 = 3 or 4 if π is odd or even. That is, we have the following result. Theorem 1. Let π, π’0 , π ∈ N with (π’0 , π) = 1. One puts for any π ∈ 0, π, π’π = π’0 + ππ and πΏ π = [π’0 , . . . , π’π ]. Then, for any π β©Ύ π(π + 1), πΏ π β©Ύ π’0 ππ+1 (π + 1)π . (1) Furthermore, if π’0 > π or π’0 < min{3, π}, the same estimate holds when π = π2 + π − 1. In 2007, Farhi [11] showed that [12 + 1, 22 + 1, . . . , π2 + 1] β©Ύ 0.32(1.442)π . Note that Qian et al. [12] obtained some results on the least common multiple of consecutive terms in a quadratic progression. We can now state the second result of this paper. Theorem 2. Let π, π, π ∈ N be such that 0 < π < π. Suppose that π β©½ ⌈π/2⌉. Then, one has [π2 + π, (π + 1)2 + π, . . . , π2 + π] β©Ύ 2π . This theorem improves the result in [11]. (2) 2 Abstract and Applied Analysis 2. Proof of the First Theorem Hence, Let π₯, π¦ ∈ R with π¦ =ΜΈ 0. We say that π₯ is a multiple of π¦ if there is an integer π§ such that π₯ = π¦π§. As usual, ⌊π₯⌋ denotes the largest integer not larger than π₯, and ⌈π₯⌉, denotes the smallest integer not smaller than π₯. We will introduce the two following results. The first is a known result which tells us that πΏ π is a multiple of (π’0 ⋅ ⋅ ⋅ π’π /π!). This is can be proved by considering a suitable partial fraction expansion (cf. [11]) or by considering the 1 integral ∫0 π₯π’0 /π−1 (1 − π₯)π ππ₯ (cf. [13]). For β ∈ 0, π, with a slight modification of notation as in [11], we put πΏ π,β = [π’π−β , . . . , π’π ] and π΅π,β := π’π−β ⋅ ⋅ ⋅ π’π . β! (3) Clearly, we have πΏ π = πΏ π,π and for any β ∈ 0, π, πΏ π β©Ύ πΏ π,β . This result can be restated as Lemma 3. For any β ∈ [0, π], one can find a positive integer π΄ π,β such that πΏ π,β = π΄ π,β π΅π,β . Our modification aims to emphasize the estimate of the terms π΄ π,β and π΅π,β that will give us some improvement. If π β©Ύ π’0 , then we see that the first term π’0 does not play an important role as it will be a factor of the term π’0 + π’0 π = π’0 (1 + π). Hence, the behaviour should be different when π is large. It will be more interesting to give a control over the last β terms. Note that π΅π,β+1 = (π’π−β−1 /(β + 1))π΅π,β , thus π΅π,β+1 β©½ π΅π,β ⇐⇒ π’0 + (π − (β + 1)) π β©½ β + 1 ⇐⇒ β + 1 β©Ύ ππ + π’0 . π+1 π΅π+1,βπ+1 = π’π+1 ⋅ π΅ β©Ύ π’0 (π + 1)π+1 . π’π−βπ π,βπ (7) If βπ+1 = βπ + 1, then π΅π+1,βπ+1 = π’π+1 ⋅ π΅ β©Ύ π’0 (π + 1)π+1 . βπ + 1 π,βπ (8) In either case, the principle of mathematical induction assures the result. We can complete our proof now. Suppose that π β©Ύ π(π+1). Then, βπ = ⌊ π’π π’ ⌋ β©Ύ ⌊π2 + 0 ⌋ β©Ύ π2 . π+1 π+1 (9) By considering the first π multiples of π, we have ππ+1 | βπ !. Since (π, π’0 ) = 1, we deduce that for all π ∈ 0, π, (π, π’π ) = 1. Writing the result of Lemma 3 for β = βπ as βπ ! ⋅ πΏ π,βπ = π΄ π,βπ ⋅ π’π−βπ ⋅ ⋅ ⋅ π’π , (10) we conclude that ππ+1 | π΄ π,βπ . Using the Lemma 4, we obtain πΏ π β©Ύ πΏ π,βπ = π΄ π,βπ π΅π,βπ β©Ύ π’0 ππ+1 (π + 1)π , (11) which is our conclusion. Consider the case π = π2 + π − 1. If π’0 > π, then we still have βπ β©Ύ π2 . Supposing now that π β©Ύ 2 and π’0 β©½ min{2, π − 1}, we shall prove that, for π0 = π2 + π − 1, it is still possible to choose βπσΈ 0 = π2 and π0 − βπσΈ 0 = π − 1 so that π΅π0 ,βπσΈ β©Ύ π’0 (π + 1)π0 . 0 On the one hand, when π = π2 − π − 1, we have (4) We will put βπ = min{⌊π’π /(π + 1)⌋, π}. The following lemma tells us that keeping the first smaller terms can increase at least the power π in the estimate of lower bound in such a way (cf. also [13]). π Lemma 4. One has π΅π,βπ β©Ύ π’0 (π + 1) . Proof. We can just proceed by mathematical induction. If π = 0, then βπ = 0 and π΅0,0 = π’0 , and it holds. In fact, if π β©½ π’0 , then we have βπ = π and π’0 π’ (5) + π) ⋅ ⋅ ⋅ ( 0 + π) β©Ύ π’0 (1 + π)π . 1 π When π β©Ύ π’0 , we have (ππ+π’0 )/(π+1) β©½ (ππ+π)/(π+1) β©½ π and βπ = ⌊(ππ + π’0 )/(π + 1)⌋. It remains to derive the result for the case π + 1 from that of π β©Ύ π’0 . It is obvious that βπ β©½ βπ+1 β©½ βπ + 1 and π’π /(π + 1) − 1 β©½ βπ β©½ π’π /(π + 1). If βπ = βπ+1 , then (π + 1)π + π’0 β©½ (βπ + 1)(π + 1) and π’π−βπ = π’0 + (π − βπ )π β©½ βπ + 1. Thus, π΅π,π = π’0 ( π’π−βπ + (βπ + 1) π π’π+1 β +1 = =1+ π π β©Ύ 1 + π. π’π−βπ π’π−βπ π’π−βπ βπ = ⌊ =⌊ π’0 + π (π2 − π − 1) π+1 π2 (π + 1) − 2π (π + 1) + π + π’0 ⌋ π+1 = π2 − 2π + ⌊ (12) π + π’0 ⌋ π+1 = π2 − 2π + 1. Thus, π − βπ = π − 2 and 2 π’π−2 ⋅ ⋅ ⋅ π’π2 −π−1 β©Ύ π’0 (π + 1)π −π−1 . 2 (π − 2π + 1)! On the other hand, we write π’ ⋅⋅⋅π’ 2 π΅π0 ,βπσΈ = π−1 2 π +π−1 0 π! π’π2 −π π’π2 π’π−2 ⋅ ⋅ ⋅ π’π2 −π−1 ⋅ = 2 (π − 2π + 1)! π’π−2 (π2 − π + 1) π−1 (6) ⌋ ⋅∏ π =1 (π2 π’π2 −π+π π’π2 +π−π . − 2π + π + 1) (π2 − (π − 1)) (13) (14) Abstract and Applied Analysis 3 It suffices to show that for any π ∈ 1, π − 1, π’π2 −π+π π’π2 +π−π β©Ύ (π + 1)2 , (π2 − 2π + π + 1) (π2 − (π − 1)) π’π2 −π π’π2 β©Ύ (π + 1)2 . π’π−2 (π2 − π + 1) (15) Proof. We shall denote π₯π€ = cos(log π₯) + π€ sin(log π₯). Consider the integral of complex-valued function of a real variable 1 ∫ π₯π−1+√ππ€ (1 − π₯)π−π ππ₯. (16) 0 Firstly, by integrating by parts (π − π) times, Equation (15) is equivalent to 1 π’π2 −π+π π’π2 +π−π β©Ύ (π2 − 2π + π + 1) (π2 − (π − 1)) (π + 1)2 . (17) ∫ π₯π−1+√ππ€ (1 − π₯)π−π ππ₯ 0 σ΅¨1 π₯π+√ππ€ (1 − π₯)π−π σ΅¨σ΅¨σ΅¨σ΅¨ = σ΅¨σ΅¨ σ΅¨σ΅¨ π + √ππ€ σ΅¨0 By expanding, it remains to verify for any integer π β©Ύ π + 1 β©Ύ 2 that ππ (π) := 2π’0 π3 − (4π − 1) π2 + 2π (π − 1) π + π 2 + π’02 − 1 β©Ύ 0. (18) + With simple computation, we obtain for any real π, π > 0 with π β©Ύ π + 1, ππ (π + 1) = 2 (π’0 − 1) π 3 + 6 (π’0 − 1) π 2 + 2 (3π’0 − 2) π + ππ σΈ π’02 + 2π’0 β©Ύ 0, 2 (19) + (2 − π’0 ) π + π’02 − π’0 β©Ύ 0. 0 (π − π)! . ∏ππ=π (π + √ππ€) π−π 1 π − π π−1+π+√ππ€ = ∫ ∑ (−1)π ( ππ₯ )π₯ π 0 π=0 (20) π−π = ∑ π=0 (21) Such inequality holds for any positive integer π when π’0 = 1 or 2. Finally, we still have π΅π0 ,βπσΈ β©Ύ π’0 (π + 1)π0 . = 0 or (2 − π’0 ) π4 + (π’0 − 1) π3 + (1 − π’0 ) π2 1 (π − π)! π₯π−1+√ππ€ ππ₯ ∫ 0 √ππ€) (π + ∏π−1 π=π ∫ π₯π−1+√ππ€ (1 − π₯)π−π ππ₯ which allow to establish (15). Equation (16) is equivalent to β©Ύ (π’0 + (π − 2) π) (π2 − π + 1) (π + 1)2 = (22) (−1)π ( π−π π ) . π + π + √ππ€ πΏσΈ π,π β©Ύ 3. Proof of the Second Theorem ∏ππ=π √π2 + π . (π − π)! (28) Now, we write furthermore We shall start by proving the following lemma. πΏσΈ π,π β©Ύ Lemma 5. Let π, π, π ∈ N be such that 0 < π < π. Put (23) Then, ∏ππ=π √π2 + π . (π − π)! (27) On one hand, put such complex number in Cartesian form, and after multiplying it by πΏσΈ π,π , we get a linear combination of π₯π + π¦π √ππ€ with integer coefficients, where 0 β©½ π β©½ π − π and π₯π , π¦π ∈ Z. On the other hand, it is easy to see that the number obtained by integrating by parts (π − π) times is not zero. So, its modulus is not smaller than 1, and we conclude that and the condition βπσΈ 0 β©Ύ π2 allows us to conclude. πΏσΈ π,π := [π2 + π, (π + 1)2 + π, . . . , π2 + π] . (26) 1 β©Ύ 2 (π − π ) (3π − π + 1) β©Ύ 0, (π’0 + (π2 − π) π) (π’0 + π3 ) π − π 1 π+√ππ€ ∫ π₯ (1 − π₯)π−π−1 ππ₯ π + √ππ€ 0 Secondly, by expanding (π) β©Ύ 6π − 2 (4π − 1) π + 2π (π − 1) πΏσΈ π,π β©Ύ (25) (24) π! π = π( ). π (π − 1)! (π − π)! (29) Suppose now that π β©½ πσΈ := ⌈π/2⌉, then πΏσΈ π,π β©Ύ πΏσΈ πσΈ ,π β©Ύ π ( ππσΈ ) and π = 2πσΈ or 2πσΈ − 1. The following Stirling estimate σΈ π π π π ( ) √2ππ β©½ π! β©½ ( ) √2πππ1/(12π) π π (30) 4 Abstract and Applied Analysis References allows us to obtain 22π −1/(6π) 2π ( )β©Ύ π . π √ππ (31) σΈ σΈ πσΈ 2πσΈ πσΈ ( σΈ ) β©Ύ 22π √ π−1/(6π ) . π π (32) If π = 2πσΈ , then As the function √(π₯/π)π−1/(6π₯) is increasing and its value at π₯ = 4 is β©Ύ 1.08, we conclude that for any integer πσΈ β©Ύ 4 σΈ 2πσΈ πσΈ ( σΈ ) β©Ύ 22π . π (33) If π = 2πσΈ − 1, then we can conclude similarly for πσΈ β©Ύ 5 2 (πσΈ − 1) 2πσΈ − 1 σΈ ) πσΈ ( σΈ ) β©Ύ (2π − 1) ( π πσΈ − 1 σΈ β©Ύ 22π −1 πσΈ − 1/2 −1/(6πσΈ ) π √πσΈ π (34) σΈ β©Ύ 22π −1 . In brief, for any integer π, π with π β©Ύ 8 and π β©½ ⌈π/2⌉, we just establish that πΏσΈ π,π β©Ύ 2π . (35) The case π = 7 can be checked directly as 4 ( 74 ) β©Ύ 27 . For the case π = 6, we have [16 + π, 25 + π, 36 + π] β©Ύ [25 + π, 36 + π] = (25 + π) (36 + π) gcd (25 + π, 36 + π) 25 × 36 β©Ύ 11 (36) β©Ύ 64 = 26 . For the case π = 5, we have [9 + π, 16 + π, 25 + π] β©Ύ [16 + π, 25 + π] β©Ύ 16 × 25 β©Ύ 25 . 25 − 16 (37) It is easy to check the cases π = 2, 3, and 4 as it involves only two terms, and we can make our final conclusion. Acknowledgment The author would like to thank the referees for their helpful suggestions that improved the presentation of this paper. [1] B. Green and T. Tao, “The primes contain arbitrarily long arithmetic progressions,” Annals of Mathematics, vol. 167, no. 2, pp. 481–547, 2008. [2] D. Hanson, “On the product of the primes,” Canadian Mathematical Bulletin. Bulletin Canadien de MatheΜmatiques, vol. 15, pp. 33–37, 1972. [3] M. Nair, “On Chebyshev-type inequalities for primes,” The American Mathematical Monthly, vol. 89, no. 2, pp. 126–129, 1982. [4] H. N. Shapiro, “On the number of primes less than or equal π₯,” Proceedings of the American Mathematical Society, vol. 1, pp. 346–348, 1950. [5] B. Farhi, “Minorations non triviales du plus petit commun multiple de certaines suites finies d’entiers,” Comptes Rendus MatheΜmatique. AcadeΜmie des Sciences. Paris, vol. 341, no. 8, pp. 469– 474, 2005. [6] B. Farhi and D. Kane, “New results on the least common multiple of consecutive integers,” Proceedings of the American Mathematical Society, vol. 137, no. 6, pp. 1933–1939, 2009. [7] S. Hong and G. Qian, “The least common multiple of consecutive arithmetic progression terms,” Proceedings of the Edinburgh Mathematical Society, vol. 54, no. 2, pp. 431–441, 2011. [8] S. Hong and Y. Yang, “Improvements of lower bounds for the least common multiple of finite arithmetic progressions,” Proceedings of the American Mathematical Society, vol. 136, no. 12, pp. 4111–4114, 2008. [9] S. Hong and S. D. Kominers, “Further improvements of lower bounds for the least common multiples of arithmetic progressions,” Proceedings of the American Mathematical Society, vol. 138, no. 3, pp. 809–813, 2010. [10] R. Wu, Q. Tan, and S. Hong, “New lower bounds for the least common multiple of arithmetic progressions,” Chinese Annals of Mathematics. In press. [11] B. Farhi, “Nontrivial lower bounds for the least common multiple of some finite sequences of integers,” Journal of Number Theory, vol. 125, no. 2, pp. 393–411, 2007. [12] G. Qian, Q. Tan, and S. Hong, “The least common multiple of consecutive terms in a quadratic progression,” Bulletin of the Australian Mathematical Society, vol. 86, pp. 389–404, 2012. [13] S. Hong and W. Feng, “Lower bounds for the least common multiple of finite arithmetic progressions,” Comptes Rendus MatheΜmatique. AcadeΜmie des Sciences. Paris, vol. 343, no. 11-12, pp. 695–698, 2006. Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014