最終的に、p_(n+1)-pn<2log(p_n)^2/nを証明したわけですが、それができない人に
とやかく言われてもw