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

Proof P3193 on R4666: Real GM-HM inequality

P3193

This result is a particular case of R4665: Weighted real GM-HM inequality. $\square$