22/07/21 23:34:38.06 vyjezRri.net
>>774
まず、a=p_n+log(p_n)のときに、以下の式が成立する。
F(p_n)+log(p_n)=(log(p_{n+1})-log(p_n))/log(p_n)
F(a)は単調減少関数だから、a≧p_n+log(p_n)の範囲では
a=p_n+log(p_n)で上限になる。このときに
F(p_n)+log(p_n))<f((p_n)
となり、a>p_n+log(p_n)のときには、F(p_n)+log(p_n))が上限であるから
F(a)≦F(p_n)+log(p_n)