How about the forward direction first?
Suppose that is finite. We can write it as . Can you find an upper bound for this set?
Hey all, I would really appreciate some help with this question. The proposition to be proved:
A nonempty subset of N (the natural numbers) is finite if and only if it is bounded above.
How would one go about proving this? Thanks a bunch