Niveau: Terminale Spé
Propriété

Tout nombre entier naturel supérieur ou égal à 2 qui n'est pas premier admet au moins un diviseur premier \(p\) tel : \(4 \leqslant p^2 \leqslant n\).

 

 

Remarque

Cette propriété est appelée "critère d'arrêt" car elle sert à terminer la recherche des diviseurs premiers d'un nombre : on sait qu'il n'y a pas de nombre premier diviseur de \(n\) dont le carré est supérieur à \(n\).