x2-1 ≥ 0