>>706

おっしゃる通りです。下限の定義まで気を配っていませんでした。
理解できました。ありがとうございます。