GM-HM Inequality/Proof 1

Proof
Let ${G_n}'$ denotes the geometric mean of the reciprocals of $x_1, x_2, \ldots, x_n$.

By definition of harmonic mean, we have that:


 * $\ds \dfrac 1 {H_n} := \frac 1 n \paren {\sum_{k \mathop = 1}^n \frac 1 {x_k} }$

That is, $\dfrac 1 {H_n}$ is the arithmetic mean of the reciprocals of $x_1, x_2, \ldots, x_n$.

Then: