y ≥ |x| - 4