>>768
下限の定義とは