Limit of Hölder Mean as Exponent tends to Zero is Geometric Mean

Theorem
Let $x_1, x_2, \ldots, x_n \in \R_{\ge 0}$ be real numbers.

For $p \in \R_{\ne 0}$, let $\map {M_p} {x_1, x_2, \ldots, x_n}$ denote the Hölder mean with exponent $p$ of $x_1, x_2, \ldots, x_n$.

Then:
 * $\ds \lim_{p \mathop \to 0} \map {M_p} {x_1, x_2, \ldots, x_n} = \paren {x_1 x_2 \cdots x_n}^{1 / n}$

which is the geometric mean of $x_1, x_2, \ldots, x_n$.

Proof
Let $p \in \R$ such that $p \ne 0$.

With a view to using L'Hôpital's Rule, let us express the argument of the exponential on the  in the form:

Then we have:

and:

Hence: