自然数 → 素数 → 割り切れる → 素因数 → 背理法 → 素数無限性
入口
自然数
目標
素数無限性
進捗
ルート設計中
数を並べる舞台を用意する
これ以上掛け算で分解できない数を見る
数の中に因子が含まれる関係を見る
自然数の中に現れる素数を取り出す
有限個しかないと仮定して矛盾を作る
素数は無限に存在する