is f(x) = sqrt(x) injective?