绝对值不等式恒成立