高木くんがアクセプトされるまで見守るスレ ★2

36 ：１３２人目の素数さん：2023/01/27(金) 01:00:52.68 ID:te/a/Ma5.net

高木くんはこれがなぜ間違いなのかを顧みることなくまた不等式を弄ることだけを「修正」と呼ぶ

だから何度も間違える

986 ◆pObFevaelafK sage 2023/01/26(木) 14:52:20.21 ID:PCCNMhK3
>>985
保証されています。実際にはp_n+1-p_nがlog(p_n)になることはありませんが、その値が
p_n+1-pn_nの下界になっています。ですから、log(p_n+1)-log(p_n)/(p_n+1-p_n)の上界は
(log(p_n+1)-log(p_n))/log(p_n)になります。
log(p_n+1)-log(p_n)/(p_n+1-p_n)<f'(p_n)は常に成り立つ不等式ですから
(log(p_n+1)-log(p_n))/log(p_n)<f'(p_n)
が成立します。