4.02 Inverses of Exponential Functions