how can i prove that for any set of real numbers, there is at least one number in the set that is greater or equal to the average of the set.