절대부등식(r3 판)

항상 성립하는 부등식을 말한다. 예를 들면 $x^2\geq0$이 있다. 이때, $x$는 항상 실수여야 한다.