is x^2 injective on x>0