abs(sqrt(x)-sqrt(y))<=sqrt(abs(x-y))