（1）x的绝对值是一个非负数：|x|>=0
（2）a的平方的相反数不是正数：-a^2<=0
（3）m与-5的商不大于n的3倍:m/(-5)<=3n
（4）a与b两数和的平方不小于2:(a+b)^2>=2