>>605
では、p_n を固定して p_{n+1} をp_n + log p_n からどんどん大きくしていってもずっと(3)は成り立ち続けるということですか？