The "Archimedean Property." I need to prove that the set of Naturals, considered as a subset of the Reals, is not (fixed) bounded above.
So I know the definitions and everything but I can't make any useful connections. I know this will most likely be a proof by contradiction involving a LUB. So..
Assume BWOC that the set of Natural numbers is Bounded above. If it is bounded above, then there is a LUB. Let x = LUB(N). From this I know that for all y \(\displaystyle \in\) N, y <= x;
...Here is where I get stuck. I think it may be helpful to prove that there must exist a natural number between x and x+1, thus contradicting that x is a LUB, but am not sure how to do that, or even if that is the right path to take.
Thanks in advance for any help.
So I know the definitions and everything but I can't make any useful connections. I know this will most likely be a proof by contradiction involving a LUB. So..
Assume BWOC that the set of Natural numbers is Bounded above. If it is bounded above, then there is a LUB. Let x = LUB(N). From this I know that for all y \(\displaystyle \in\) N, y <= x;
...Here is where I get stuck. I think it may be helpful to prove that there must exist a natural number between x and x+1, thus contradicting that x is a LUB, but am not sure how to do that, or even if that is the right path to take.
Thanks in advance for any help.