Euclidの証明を少し変えて としてを考える。（の条件をつけるのはとしたいため。）これはのどれでも割り切れないため、より大きな素数を素因子として含む。 よって 。 ∴ [tex:p_n\frac{1}{ln2}ln ln x] □ しかしながら実際にこの不等式を計算してみるとπ(10)…