2^n-1（２のｎ乗ー１）の形の素数が無限に存在する事を示そうかと思いましたが、これは有名な「メルセンヌ素数」という奴で３０個程しか見つかっていないそうです。これはやめておこう。「博士の愛した数式」で言っていた「完全数」が３０個しか見つかっていないというのはこの「メルセンヌ素数」から「完全数」が得られることによります。「メルセンヌ」をしらなかったとは不勉強でした。