以前、Ramanujanの不等式integers.hatenablog.comを紹介した際に証明を割愛したLandauの定理定理 (Landau) 、は正の整数とし、を相異なる個の素数の積として表せる以下の数の個数とすると、が成り立つ。の証明を紹介します。 記号 幾つかの補助的関数を導入…