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

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

Proof P3535 on R5185: Tight lower bound to a finite product of positive real numbers

P3535

This result is a particular case of R4666: Real GM-HM inequality. $\square$