sqrt(x^2-2x+10) >= 3