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