3.3 The logarithm as an inverse function