This very
useful theorem (an
oxymoron?) states that the
arithmetic mean of a sequence of
numbers is always greater than their
geometric mean.
For any sequence of numbers x
1, x
2, ..., x
n
(x1 + x2+ ... + xn)/n ≥ (x1x2...xn)1/n
It applies to weighted means as well.