>>669 訂正
×不等式(2)が成立する。
〇それ以降の論証が成り立つ