y ≥ (x + 2)^2