Natural logarithm/Inverse function to real exponential function/Introduction/Section