DM de MPSI2
Devoir non surveillé
Problème – Arithmétique et intégrales
la partie A n’a aucun lien avec les intégrales, contrairement à la partie B (vous pouvez traiter les deux parties
dans l’ordre que vous souhaitez).
Soit (pk )k∈N∗ la suite croissante des entiers premiers (on a donc p1 = 2, p2 = 3, p3 = 5, etc.).
Pour tous x et y réels positifs avec x > y, on définit P (x, y) comme valant
1 si l’intervalle ]y, x] ne contient pas de nombre premier ;
le produit des nombres premiers de l’intervalle ]y, x] sinon.
Pour tout x ∈ R∗+ , on note K(x) = P (x, 0).
Partie A – K(x) 6 4x
A.1 Donner K(x), pour tout x ∈]0, 6]. Donner les points de discontinuité de la fonction K.
A.2 Montrer pour 0 6 z 6 y 6 x la relation :
P (x, z) = P (x, y)P (y, z).
Soit m un entier naturel non nul.
A.3 Montrer que 2m+1
m 6 4m .
A.4 Montrer que l’entier P (2m + 1, m + 1) divise l’entier 2m+1
m .
m+1 2m+1
A.5 En déduire que si K(m + 1) 6 4 , alors K(2m + 1) 6 4 .
A.6
a Montrer que :
∀ n ∈ N∗ , K(n) 6 4n
b En déduire la majoration :
∀ x ∈ R∗+ , K(x) 6 4x
Partie B – Domination explicite de N
On note N la fonction définie par :
∀ x > 0, N (x) = Card{k ∈ N∗ , pk ∈ [0, x]}
Pour tout x > 0, N (x) est donc le nombre d’entiers premiers inférieurs ou égaux à x.
On note S la fonction définie sur [2, +∞[ par
∀ x > 2, S(x) = ln(K(x)).
B.1 Pour tout x > 2, déduire de la partie A un majorant de S(x).
B.2 Soit f une fonction définie sur [2, +∞[ à valeurs réelles, dérivable et à dérivée continue.
a Montrer que pour tout k entier naturel non nul, on a
Z pk X
S(t)f 0 (t)dt = − ln(pi )f (pi ) + S(pk )f (pk ).
2 i∈[[1,k]]
b Déduire pour tout réel x supérieur ou égal à 2 la relation :
X Z x
ln(pi )f (pi ) = S(x)f (x) − S(t)f 0 (t)dt.
i∈[[1,N (x)]] 2
1
B.3 On prend f = ln . Déduire de la question précédente l’inégalité :
Z x
x dt
N (x) 6 2 ln 2 + 2
.
ln x 2 (ln t)
B.4
u
a Étudier sur l’intervalle [ln 2, +∞[ la fonction ψ : u 7→ ue 2 . Montrer qu’il existe un unique réel (noté u0 )
strictement supérieur à ln 2 tel que
eu0 2
2 = .
u0 (ln 2)2
b Montrer, pour tout x > eu0 , la majoration :
ln x
eu
Z
x
du 6 (ln x − ln 2).
ln 2 u2 (ln x)2
c Déduire, pour tout x > eu0 , l’inégalité :
x
N (x) 6 4 ln 2 .
ln x