5 Conclusions.
We have defined the logarithmic function as a limit of sequence of functions and
we established its basic properties. We also defined the exponential function as
the inverse of the logarithmic function. These facts allow to establish the law
of exponents starting from the equation ax = exp(xloga) for any real number
x and a > 0. In particular, ex = exp(xloge) = expx. Finally, inequality (3.6)
allows us to prove following important limits :
lim
t→0
log(1 +t)
t = 1, limx→∞
1 +
1
x
x
= e
and
ex = limn→∞
1 + x
n
n
for any real number x.
References
[1] Hardy G. H., A Course of Pure mathematics, Ninth Edition, University of
Cambridge (1945).