せきゅーん: 例えば、が平方無縁(square-free)な場合は必ずが成り立つ。以下の平方無縁な正整数全体のなす集合をで表せばだ。証明が気になればここを見ればいい。 ラムネ: でも、それは自明な場合だし、でよりちょっと大きいぐらいで、%近くは非自明な場合が…

せきゅーん: 以下、は小さい数を固定して、はに応じて十分に大きい整数とする。証明の肝は3つあって、素数分布の情報・体積による評価のアイデア・鳩の巣原理だ。まずは素数分布の情報として次の公式を用いる: を最初の個の奇素数とするとき,が成り立つ。こ…