不等式在定义域上有解等价于什么?