>>760
F(p_n+log(p_n))=(log(p_n + log p_n) - log p_n)/log(p_n) じゃないの？
一般にはp_{n+1}>=p_n + log p_nで、等号が成り立つとは限らないんだよね？