The Equivalence of Definitions of the Natural Logarithm Function. (27th May 2022)