is e^x injective