函数型不等式的解法