This was a mathematical induction question proposed in a textbook, and I've exhausted multiple approaches (proving RHS – LHS > 0, splitting the fraction, fractional exponents, etc.)
The geometric mean of $n$ positive numbers $a_1, a_2,\ldots,a_n$ is $\sqrt[n]{a_1a_2 \ldots a_n}$ and their arithmetic mean is $\frac{a_1+a_2+\ldots+a_n}{n}$. If $a_1, a_2,\ldots,a_n$ are $n$ positive real numbers, prove by induction that their geometric mean is always smaller than or equal to their arithmetic mean, i.e. $\sqrt[n]{a_1a_2\ldots a_n} \leq \frac{a_1+a_2+\ldots+a_n}{n}$
Best Answer
Hint:
Using induction:
(This method of induction is sometimes called Cauchy induction).