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

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

Proof P3533 on R5182: Tight upper bound to a finite product of unsigned real numbers

P3533

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