sqrt(x)>0