>>306
途中に素数階乗不等式の証明が入っているから混乱しているだけじゃないの
必要条件で計算を行っているだけだが?