On the upper bound of number-theoretic function F h
f( )
Shenghan Lu Guided by: Jinsong Li
The high school attached to Tsinghua University
Abstract: The problem of the existence of infinitely many prime values of a number-theoretic function
f x ( )
has been one of the most important topics in Number Theory. Note that if
f x ( )
represents infinitely many primes, then we can get this necessary condition: for any positive integerh
, there exists a positive integerk
such that( ( ), ) 1 f k h =
andf k ( ) 1 >
. Naturally, we are interested in the number-theoretic functionsf x ( )
that satisfy the aforementioned necessary condition. Thus, there must exist the least positive integer such that and . Denote this least positive integer by . In this paper, we mainlyfocus on three famous number-theoretic functions:
n ( ( ), ) f n h = 1 f n ( ) > 1 n F h
f( )
( ) 2
2x1
f x = +
,m x ( ) = 2
x− 1
and , proving they satisfy the aforementioned necessary condition respectively. Furthermore, we approximately estimate the upper bound of respectively, and obtain some interesting results.( )
21 l x = x +
( )
( ),
( )( ),
( )( )
f x m x l x
F h F h F h
Ⅰ. Introduction
Let
f x ( )
be a number-theoretic function. Whetherf x ( )
represents infinitely many primes has always been a problem that attracts great interests among many famous mathematicians. As early as 2000 years ago, Euclid has proved thatf x ( ) = x
represents infinitely many primes. In 1837, Dirichlet proved thatf x ( ) = ax b +
also represents infinitely many prime values, whereand are integers with , either or
a b ( , ) 1 a b = a > 0, b ≠ 0 a = 1, b = 0
. By proving this, he completely solved this problem in the case of linear polynomial with integral coefficients. Apart from this case of linear polynomial, however, the problem becomes complex and there is still no complete solution by now. For example, whether functions such as, and
( ) 2
2x1
f x = + m x ( ) = 2
x− 1 l x ( ) = x
2+ 1
represent infinitely many primes has not been verified until today. Actually, these functions are respectively related to the problem of Fermat number, Mersenne number and the first conjecture of Landau. Readers can refer to [6] for some other information. [6] is a paper that summaries the research history from Euclid to Green-Tao Theorem, studies the infinitude of some special kinds of prime and brings up some interesting questions. Our paper is just based on one of these questions. I thank Doctor Shaohua Zhang here for suggesting this interesting topic to us.Note that if a number-theoretic function
f x ( )
represents infinitely many primes, we can get thefollowing necessary condition: for every positive integer , there exists a positive integer , such that , . Consequently, we are interested in functions that satisfy this necessary condition. Thus, if
h k
( ( ), ) f k h = 1 f k ( ) 1 >
( )
f x
satisfies this condition, there exists the smallest integer such that , . Denote by . In this paper, we mainly focus on the three aforementioned functions, proving that they all satisfy this necessary condition, and approximately estimate the upper bound of . Here are the results obtained.n ( ( ), ) f n h = 1 f n ( ) > 1 n F h
f( )
( )
( ),
( )( ),
( )( )
f x m x l x
F h F h F h
Theorem 1 If
m x ( ) = 2
x− 1
, then for every positive integer , there exists a least positive integer such that and . In addition, there exists a constant such that for everyh
n ( ( ), ) 1 m n h = m n ( ) 1 > C
h > C
, ( )3
2( ) log
m x
4
n = F h < h
.Theorem 2 If , then for every positive integer , there exists a least positive integer such that for every
( ) 2
2x1
f x = + h
n h > 5
,n = F
f x( )( ) h ≤ log (
2h − 1) 1 −
.Theorem 3 If
l x ( ) = x
2+ 1
, then for every positive intege , there exists a least positive integer , such that . In addition, for everyr
h
n ( ( ), ) 1 l n h =
,l n ( ) 1 > h > 2
, ( )( )
l x
2
n = F h ≤ h
.Ⅱ. Proof of the theorems
In this paper, we denote the gre
j
1
atest common divisor ofa
andb
by( , ) a b
. Lemma 1[5] For every positive integerm n ,
,(2
i− 1, 2
j− 1) 2
( ,i )−
is a prime factor of p
=
.f
q 2 − 1
,q ≡ 1(mod 2 ) p
Lemma 2[4,5] Let
p
be an odd prime. I .m Lemm every positive integer ,
Remark 1: Fro a 2, we can get that for
h
( )
( ) 1 1
m x
2
n = F h ≤ ⎡ h + ⎤
Lemma 3[1] For integer
⎢ ⎥ +
⎣ ⎦
.We give a stronger bound in the proof of Theorem 1.487381
,log p > 0.998 x x ≥
p x≤
∑
, wherelog p
represents the nature log m a 4[2] For every integer , there exists at least one prime inof
p
.Le m
x > 117 14
( , ]
x 13 x
. Lemma 5[3] Fork > 1
, the smallest prime factor off k ( ) = 2
2k+ 1
is no less than2
k+2+ 1
.Proof of theorem 1: Remark 1 actually indicates that the first half of theorem 1 is true, so we only
eed to prove that there exists a constant such that for
n
C
every
h > C
, ( )3
2( ) log
m x
4
n = F h < h
here. Letp
rbe ther
thprime. If2
pr= h
3/ 4, there is onlyone solution
p
r= 3
,h = 16
, and ( )3
( ) log
m x
4
F h = < 2
2h
. Thus, wn =
e can let prh
4 pr13
2 < < 2
+ .If there exists an
i
,1 ≤ ≤ i r
, such that(2
pi− 1, ) h = 1
, then1 < 2
pi− < 1 2
pr< h
3 / 4. As a result,( ) 2
( ) 3 log
m x i r
4
n = F h ≤ p ≤ p < h
every
1 ≤ ≤ i r
,(2
pi− 1, ) h > 1
. This means we only have to consider the case that for . From Lemma 1 we know that for every ,
)
i pj
p
− −
Lemm1
is no less thenp
i ii=
, it leads t
. As we have already assumed before, we lead t contradiction by
proving tha
2
rr
p
p
i>
+∏
, thus finishing our proof. But to prove this was then beyond my ability. Thank to my teacher Jinsong Li, who introduced some beautiful results of analytic number theory to me, especially on the bound of Chebyshev function1 ≤ ≠ ≤ i j r
(2 1, 2 1 = 1
. And from a 2, we know that for everyi ≥ 2
, the smallest prime factorof
2 + 1
. Hence,3 (2 1)
r
h ≥ ∏ p +
. Whenr ≥ 2
oi=1
p x
pi
− 2
2
1 r
i i
h p
=
> ∏ h < 2
4pr+1/ 3 can o at 4 1/ 3
( ) x log p θ =
∑
≤ , which shed new light on my proving this problem. From Lemma 3, we know that forp
r≥ 487381
,1
log
i0.998
ri r
p p
≤ ≤
∑ > . Because0.998 13 14 × > 4 3 log 2
, and
wh
from Lemma 4:
en
p
r> 117
, 114
r
13
rp
+≤ p
, we have that 11
4
≤ ≤
3
log
i0.998
r rlog 2
i r
p > p > p
+∑
. Thus,for
p
r≥ 487381
, 4 1/ 3. Because 487381 is a prime, let , then for every1
2
rr
p i i
p
+=
∏ > C = 21949524/3
h > C
, ( )3
2( ) log
m x
4
n = F h < h
.Remark 2: we can prove that it is not easy to strengthen
3
, for instance, to
2 3
.4
Fget th
rom [1], we can
at 1
1
3 3
log 1.001102 ( log 2) ( log 2)
2 2
i r r
i r
p p p p
r+≤ ≤
< < <
∑
. This result increase thedifficulty of strengthening this bound.
From the proof above we also know tha p i
i
t 3 1/ 2
1
2
nn
+
p
=
> ∏ . Hence, for we have this
result:
2
n2
n2
n2
n2
n1n
p p p p p
p
i+ + +
> > > ∏ > >
. This inequality again demonstrates the487381
p
n≥
,1 1
2 3 / 2 3 / 2 4 / 3
i=1
famous result that for every
x > 1
,( , 2 ) x x
contains at lea .Besides, our inequality strengthens the inequality in [4, pp389].
Proof of theorem 2: When , we can let
st one prime
3 / 2
2
pn> p
1... p
n2
2pn> p
1... p
n5
h > k = [log (
2h − 1)] 1 −
, and that e sm[log (2 1)] 1
( ) 2
2 h1 f k =
− −+
From Lemma 5, we know th allest divisor of
( )
.
f k
is greater than . Hence we=
. Therefor f x( ) h k
h
have[log (2 1)] 1
(2
2 h− −+ 1, ) h 1
e, whenh > 5
,n = F
( )≤ ≤ log (
2h 1) 1
. e that trem e
prove that when
− −
When
1 ≤ ≤ h 5
, we can prov he first half isProof of theorem 3: The proof of the first half of the theo is obvious, so w only need to true directly.
2
h >
, ( )( ) 2 h
n = F
l xh ≤
. Whenh
is odd, ( )( ) 1
l x
2
n = F h = < h
. When is even,consider t
h
we first he case when
4 | h
. Leth = 4 t
, wheret
is a positive integer.Because
((2 ) t
2+ 1, 4 ) t = 1
, we have ( )( ) h
2 2
n = F
l xh ≤ t =
. If2 || h
, becauseh > 2
, we leth = 4 t + 2
, wheret
is a positive integer. Since((2 ) t
2+ 1, 4 t + 2) = 1
, ( )( ) h
n F 2
l x
h t 2
= ≤ <
.hav hed verifying this.
to the smallest prime divisor of Thus we have proved theorem 3.
Ⅲ. Some related questions
Question 1: In the proof of Theorem 1, is obviously a very approximate bound.
By observation and computation, howev re tha is very likely to be 84, yet we e not finis
Question 2: We don’t know how to strengthen the result in Theorem 2, but we know it is related Fermat number. Up to now, however, Lemma 5 has not been improved. Besides, it is easy to prove tha cannot be always less than
Question 3: By calculating, we conjecture that for
1949524/3
2 C =
er, we conjectu t
C
t
F
f x( )( ) h log log (
2 2h + 1)
.10
h >
,n = F
l x( )( ) h < h − 1
. We will nerally, Dock
consider this problem further. More ge tor Shaohua Zhang pointed out that if
( )
kl x = a x + +
"a x
1+ a
0 represents infinitely many primes, there might be( )
l x k for every sufficiently large
h
. He also told me it is interesting to study the primality ofF h ( )
,( ( ))
( )
k/ n = F h < h a
f
f F h
f ,F h
f( !)
,f F h (
f( !))
. For example, for every positive integerh
,( )
( )
F
m xh
is a prime while))
is not ays one; and)
are notalways prime. As for
(
m x( )(
m F h
alwF
l x( )( ) h l F (
l x( )( ) h (
f( !))
f F h
, we don’t know whetherm F h ))
andl F h
are always primes now. However,( )
m x l x( )
we know that
(
f x( )( !))
( ( ! ( ( !))
f F h
is not always a prime., I want to first thank Professor Shing-Tung Yau for offering middle school student s va further into math. Although the result I’ve
obtained is atic study. It is an experience completely
from tests in school, nderstood both the hard d hap esearch.
ant to thank my e who helped me proofread pa e of the data, adjust the format, and ccess to many papers and ber the ding
In the end of my paper
s thi luable opportunity
a small one, it is my first try in mathem
different in which I u ship an piness of r
Here I also w mother. It is sh the per, test som
get a books of num ory. By rea
these, I deeply appreciated the beauty of Number Theory.
of exploring
References
[1] Rosser J. Barkley, Schoenfeld Lowell, Sharper bounds for the Chebyshev functions
θ ( ) x
and
ψ ( ) x
, Math. Comp., 29, pp243-269, 1975[2] H. Rohrbach and J. Weis, Zum finiten Fall des Bertrandschen Postulats, J. Reine Angew. Math.
214/215, pp432-440, 1964 [3
[4
] 柯召,孙琦,初等数论100例,上海教育出版社,1980 ] 潘承洞,潘承彪,初等数论,北京大学出版社,1992
, 数论讲义, 高等教育出版社, 1987
Zhang, On the infinitude of some special kinds of primes, [5] 柯召, 孙琦
[6] Shao-hua
(http://arxiv.org/abs/0905.1655)