real analysis injective function