Analysis III TT23, Logarithm function
Flashcards
@Define the logarithm function.
\[\log x = \int^x _ 1 \frac 1 y \text{ d}y\]
Proofs
@Prove, from the definition of the logarithm function
\[\log x = \int^x _ 1 \frac 1 y \text{ d}y\]
that it is the inverse of the exponential function.
Todo (analysis iii, page 33).