>>11535909Let be a finite set of cardinality . Let . Given that is not the largest element in the set there exists .
Applying this recursively to to get we can find elements such that
.
But there are . This means that there exist such that .
Now remove this from the set and apply the same procedure to the resulting set with n-1 elements. You will find that all elements are equal. This is a contradiction.