入口
等差数列
目標
算術級数定理
進捗
ルート設計中
ルート地図
- 1等差数列入口準備中
一定の差で進む整数列を見る
- 2互いに素な初項と公差中継点準備中
素数が入りうる条件を置く
- 3Dirichlet 指標中継点準備中
余り類を複素数で観測する
- 4L 関数中継点準備中
指標から解析的な関数を作る
- 5非消滅中継点準備中
重要な点で値が消えないことを示す
- 6算術級数定理目標準備中
互いに素な等差数列の中に素数が無限に存在する
目標までの見通し
互いに素な等差数列の中に素数が無限に存在する