>>735
>ここが計算ミス。
log(p_(n+1))-log(p_n)>1/p_n(p_(n+1))-log(p_n))=p_(n+1)/p_n-1
不等式(3)により
p_n+1/p_n<(1+1/n)^2
log(p_(n+1))-log(p_n)>p_(n+1)/p_n-1>(1+1/n)^2-1