22/07/22 11:54:04.30 w99ijoaJ.net
>>780
p_{n+1}≧p_n+log p_n
が成立するから、F(a)の上限を求めるのに、p_{n+1}=p_n+log p_nの場合を考えることは
問題ありません。
>>781
p_{n+1}>p_n+log p_nのときは
F(a)≦F(p_n+log p_n)
となります。log(a)とF(a)のグラフを考えれば分かります。
22/07/22 11:54:04.30 w99ijoaJ.net
>>780
p_{n+1}≧p_n+log p_n
が成立するから、F(a)の上限を求めるのに、p_{n+1}=p_n+log p_nの場合を考えることは
問題ありません。
>>781
p_{n+1}>p_n+log p_nのときは
F(a)≦F(p_n+log p_n)
となります。log(a)とF(a)のグラフを考えれば分かります。