じゃあ、条件II, iiを満たすが
(log p_{n+1}-log p_n)/(log p_n)<f’(p_n)
とはならないnについて、
(log p_{n+1}-log p_n)/(log p_n) < log(n+1) - log n
は成り立つの？