>>40
>log(p_n+1)-log(p_n)/(p_n+1-p_n)<f'(p_n)は常に成り立つ不等式です