构造函数利用单调性解不等式(一)