2
Alors, on déduit que
π(x)≤4 + 6·2k
k= 4 + 2k
log(2k)6 log 2 ≤4 + x
log x6 log 2,
car 2k≤xet la fonction f(t) = t/ log test croissante pour t≥3≥e.
Finalement, on montre la borne inférieure. On considère encore une fois le coefficient
binomial B=2n
n. On va étudier la factorisation de B. Alors on pose
B=
p
pep,
où ep≥0(i.e. ep=vp(B)). On observe que ep= 0 pour p > 2nou, de façon équivalente,
chaque facteur de Bet plus petit ou égal à 2n. En effet, si p|B= (2n)!/n!2, alors p|(2n)!.
Puisque chaque facteur de (2n)! est plus petit que 2n, on trouve que p≤2n.
Puis, on affirme que pour chaque p≤2n, on a que pep≤2n. Pour montrer ça, on fixe
p≤2net observe l’identité ep=vp(B) = vp((2n)!) −2vp(n!). [Pourquoi ? Montrez que
vp(a/b) = vp(a)−vp(b)si b|aet vp(ab) = vp(a) + vp(b)pour tout aet b.] On va trouver une
expression explicite pour vp(m!) et l’appliquer pour calculer ep. Le nombre vp(m!) est égal
au nombre de facteurs de pqui divise m!. Pour chaque multiple de pqui est plus petit que
m, on prend un facteur de pdans m!. Mais peut être il existe de multiple de p2qui sont plus
petits que m. Pour chaque tel multiple on doit compter un facteur extra de p. Mais peut
être il existe de multiple de p3qui sont plus petits que m. Pour chaque tel multiple on doit
compter un facteur extra de p. En continuant dans cette façon, on trouve que
vp(m!) =
j≥1
#{k≤m:kmultiple de pj}=
j≥1m
pj.
[Pourquoi ? Montrez que #{k≤x:d|k}=⌊x/d⌋.] Donc pour epon a la formule
ep=
j≥12n
pj−2n
pj=
j≥1
pj≤2n2n
pj−2n
pj,
où la deuxième égalité est une conséquence du fait que si pj>2n, alors ⌊2n/pj⌋=⌊n/pj⌋= 0.
Pour chaque x∈[0,1), on a que
⌊2x⌋ − 2⌊x⌋=0si 0≤x < 1/2,
1si 1/2≤x < 1.
En particulier, ⌊2x⌋ − 2⌊x⌋ ≤ 1pour chaque x∈[0,1). Par périodicité, c’implique que
⌊2x⌋ − 2⌊x⌋ ≤ 1pour chaque x∈R. [Pourquoi ? Montrez que la fonction x→ ⌊2x⌋ − 2⌊x⌋
a période 1.] C’implique que
ep≤#{j≥1 : pj≤2n}= # j∈N: 1 ≤j≤log(2n)
log p=log(2n)
log p≤log(2n)
log p.
Donc pep≤2n, qui montre notre affirmation.
Finalement, on utilise le fait que pep≤2npour finir la preuve. On a que
B=
p≤2n
pep≤
p≤2n
(2n) = (2n)π(2n)=⇒π(2n)≥log B
log(2n).