用区间套证明单调有界