na1+…+an≥na1…an The arithmetic mean of a list of positive numbers is greater than or equal to those numbers’ geometric mean a2+b2≥2ab ∀ a,b≥0