ThmDex – An index of mathematical definitions, results, and conjectures.

Proof P3493 on R3568: Real AM-GM inequality

P3493

This result is a particular case of R1557: Weighted real AM-GM inequality with $\lambda_n = 1/N$. $\square$