22/07/21 23:00:36.20 uYMiudjU.net
>>773
じゃあ改めて質問。>>760では
F(p_n+log(p_n))<f'(p_n)
を示しているけれど、
F(p_n+log(p_n))=(log(p_n + log p_n) - log p_n)/log(p_n)
だからここで示していることは
(log(p_n + log p_n) - log p_n)/log(p_n) < f’(p_n)
であって、(3)の右側の不等式
(log p_{n+1} - log p_n)/log(p_n) < f’(p_n)
は示せていないのでは？