少し前に、私の周囲で「"" 型素数が無限に存在することを初等的に証明できるか？」という議論が流行っていました。私が追っていた限りにおいては、ちょっとずつ穴があって証明は叶わなかったようです。私は、てっきりこの手の問題、すなわち 型素数の無限性…