for f being homogeneous non empty real-valued positive FinSequence holds Mean f = GMean f