構造具體函數,解抽象函數不等式