0986◆pObFevaelafK 垢版 | 大砲2023/01/26(木) 14:52:20.21ID: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) が成立します。