素数 → 素数計数関数 → 対数関数 → Chebyshev の評価 → ゼータ関数 → 素数定理
入口
素数
目標
素数定理
進捗
ルート設計中
自然数の基本部品を見る
ある範囲までの素数の個数を数える
素数密度を近似する尺度を用意する
素数の個数を上下から押さえる
素数情報を解析的な関数へ移す
素数の分布が対数で支配されることを示す