差分

素微分

サイズ変更なし, 2020年5月21日 (木) 15:00

同様に$$P'$$は$$3,5,\ldots ,p$$の倍数でない。

そして$$P$$は合成数より、$$P'$$は$$1$$より大きいから少なくとも1つの素因数をもつ。

また、$$\text{In}(pP)=\frac12+\frac13+\ldots+\frac1p≧\frac12+\frac13+\frac15>1$$なのでP'>P。

ゆえに$$P'$$は$$p$$より大きい素因数をもつ。

これよりいくらでも大きい素数を作れるので素数は無限個存在することが示された。

Wiki会員

32

回編集