Wiktionary
am-gm inequality
n. The fact that the (soplink arithmetic mean) of nonnegative numbers is not less than their (soplink geometric mean), and is more if some of the numbers are distinct.