The arithmetic mean of positive numbers (#910) - Basecamp