Update 97D40-AlternativeDefinitionOfTheNaturalLogarithm.tex

97D40-AlternativeDefinitionOfTheNaturalLogarithm.tex

@@ -55,7 +55,7 @@
 
 The \PMlinkname{natural logarithm function}{NaturalLogarithm2} $\log x$ can be defined by an integral, as shown in the entry to which this entry is attached.  However, it can also be defined as the inverse function of the exponential function $\exp x =e^x$.  
 
-In this entry, we show that this definition of $\log x$ yields a function that satisfies the logarithm laws $\log xy =\log x +\log y$ and $\log x^r =r\log x$ hold for any positive real numbers $x$ and $y$ and any real number $r$.  We also show that $\log x$ is differentiable with respect to $x$ on the interval $(1,\infty)$ with derivative $\frac{1}{x}$.  Note that the logarithm laws imply that $\log 1 =0$.  The mean-value theorem implies that these properties characterize the logarithm function.
+In this entry, we show that this definition of $\log x$ yields a function that satisfies the logarithm laws $\log xy =\log x +\log y$ and $\log x^r =r\log x$ hold for any positive real numbers $x$ and $y$ and any real number $r$.  We also show that $\log x$ is differentiable with respect to $x$ on the interval $(0,\infty)$ with derivative $\frac{1}{x}$.  Note that the logarithm laws imply that $\log 1 =0$.  The mean-value theorem implies that these properties characterize the logarithm function.
 
 The proof of the first logarithm law is straightforward.  Let $x$ and $y$ be positive real numbers.  Then using the fact that $e^x$ and $\log x$ are inverse functions, we find that
 \[