(iii ) Montrer que δp(k, n)∈ {0,1}, et en d´eduire que vp(N)≤log (2n)
log pquelque soit le nombre
premier p.
(iv ) Montrer que si vp(N)≥2, alors p≤√2net donc que
X
ppremier
vp(N)≥2
vp(N) log p≤√2nlog (2n).
(v) On suppose n≥5, de sorte que 2
3n > √2n. Soit pun nombre premier divisant N. Montrer
que si p≤n, alors p≤2
3n. (Montrer que si n≥p > 2
3n, alors δp(1, n) = 0.)
(vi ) En d´eduire des questions (iv ) et (v) que si n≥5, alors
X
p≤n
vp(N) log p≤√2nlog(2n) + X
p≤2
3n
log p≤√2nlog(2n) + 4n
3log 2,
o`u la derni`ere in´egalit´e utilise la question (iii ) de l’Exercice 2.
(vii ) En utilisant le d´eveloppement de (1 + 1)2npar la formule du binˆome, montrer que
N≥22n
(2n+ 1),et donc que log N≥2nlog 2 −log (2n+ 1).
(viii ) Montrer que si nest assez grand, alors il existe un nombre premier pv´erifiant n<p≤2n.
(Soit nun entier tel que l’intervalle ]n, 2n] ne contienne aucun nombre premier. Alors tous les
nombres premiers divisant Nsont inf´erieurs ou ´egaux `a n. Obtenir alors une contradiction `a
partir des r´esultats des questions (vi ) et (vii ).)
On peut expliciter le «assez grand »de la question (viii ) et trouver un entier explicite n0
ayant la propri´et´e que l’intervalle ]n, 2n] contient un nombre premier lorsque n≥n0. Pour en
d´eduire le postulat de Bertrand, il suffit d’exhiber une suite croissante de nombres premiers (pk)
telle que p1= 2 et pk+1 <2pkpour tout k≥1.
(ix ) En d´eduire des arguments pr´ec´edents qu’il existe α > 0 tel que
X
n<p≤2n
log p≥αn
pour tout nassez grand et donc qu’il existe une seconde constante β > 0 telle que Pp≤xlog p≥βx
pour tout xassez grand. (En fasiant attention aux d´etails, on voit qu’on peut prendre n’importe
quel β < 2
3convient.)