Okay, this is sort of crude, but I think it works.

where the fourth line follows by properties of arithmetic mean (the average of a set of values is less than or equal to the maximum of the values) (and hence ).

EDIT: I'm not sure if this is technically an inductive proof, since it makes no use of the assumption .