Элементарный вывод теоремы: среднее пропорциональное произвольного числа положительных чисел не больше их среднего арифметического

М. Ф. Берг