>>598
(2)の左側の不等式は、pn+1-pnがとり得る値全て恒等的に成立する式なので
pn+1-pnが下限の場合でも成り立ちます