>>275 訂正
×全てのkに対してdk>0が成り立つときに成立する
〇少なくとも2つのkに対してdk>0が成り立つときに成立する