Как звучит неравенство о средних величинах?

Для любого множества из n неотрицательных целых чисел утверждается, что среднее арифметическое этих чисел больше либо равно среднему геометрическому этих чисел.

A = {a1, a2, ..., an}, ai >= 0,

(a1 + a2 + ... + an) / n >= (a1 * a2 * ... * an) ^ (1 / n)