Definition:Logarithm