>>756
その議論で (log(p_n + log p_n) - log p_n)/log p_n < f’(p_n) が成り立つことはわかるのだけれど、それだけからは(3)の右側は出ないよね？
>>757 で追加したというnに関する条件が効いてうまくいくの？