Inégalité de Bonse

Modèle:Ébauche En théorie des nombres, l'inégalité de Bonse, du nom de H. Bonse, permet une comparaison entre un nombre primoriel et le plus petit nombre premier qui ne figure pas dans sa décomposition.

Elle déclare que si p₁, ..., p_n, p_n+1 sont les n + 1 plus petits nombres premiers et n ≥ 4, alors

$p_n\mathrm{\#}=p_1\cdots p_n>p_{n+1}^2$ ou $p_{n+1}<\sqrt{p_n\mathrm{\#}}$.

Elle est une conséquence facile du postulat de Bertrand : $p_{n+1}<2p_n$ ; en effet $p_{n+1}^2<4p_n^2<8p_{n-1}{p}_n<2\times 3\times 5\times p_{n-1}{p}_n⩽p_1{p}_2...p_n$ pour $n⩾5$, le cas $n=4$ se montrant à la main.

Mais elle possède une démonstration élémentaire directe plus courte que celle du postulat de Bertrand .

Bibliographie

• Modèle:Ouvrage
• Modèle:Lien web