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

42 ：１３２人目の素数さん：2023/01/28(土) 04:08:48.55 ID:2W9p0fPW.net

>>41
この考えのどこが間違ってたか理解しないと意味ないよ
高木くん、113と127の反例があることしか理解できてないでしょ

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)
が成立します。