Note on the Lower Bound of Least Common Multiple

advertisement
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 Mathé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 Mathématique. Acadé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
Mathématique. Acadé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
Download