不等式|x^2-3+1|