x+y+n>=0恒成立什么意思