4 - x ≥ 0 and x² - 1 ≥ 0]