构造函数解不等式