求下限