x^4-2x^2+2x-1 ≥ 0