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

Printable View

- Nov 15th 2010, 09:57 AMjstarks44444Bound on Natural Numbers proof
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 - Nov 15th 2010, 10:13 AMroninpro
How about the forward direction first?

Suppose that is finite. We can write it as . Can you find an upper bound for this set? - Nov 17th 2010, 09:16 AMjstarks44444
Well, isn't the upper bound there? What do you mean by forward direction?