Both of your proofs assume that you have a sequence of real numbers, but that isn't specified in the problem.

In proof 2, you only use the completeness of the real numbers to show that the sequence is bounded. I think you can show that without assuming completeness.

- Hollywood