Definition of logarithm. Properties of logarithm