Исправление aedeph_, 29.01.18 17:26 (текущая версия) :
Всё верно, как среднее неотрицательной ненулевой функции не может не быть не 0.
Исходная версия aedeph_, 29.01.18 17:26:
Всё верно, как среднее неотрицательное ненулевой функции не может не быть не 0.