sqrt(x+2) >= x-4