Definition:Real Natural Logarithm