The arithmetic mean of positive numbers#910