Answer to Question #16496 in Real Analysis for sherly
show that a nonempty finite set s subsets R contains its supremum
Every finite subset in R is linearly ordered by "<=".
So this subset can
be presented as a1<=a2<=...<=a_n.
Thus a_n belongs to this subset,
and it is its maximum and supremum at the same time.