# The following proof has an error. Find the error that makes the proof incorrect. Claim 1 . The set [0, 1] has no least upper bound. Proof “. For…

1. The following proof has an error. Find the error that makes the proof incorrect.

Claim 1. The set [0, 1] has no least upper bound.

Proof ”. For sake of contradiction, let a = sup[0, 1].

Case 1, If a>1, then for every x∈[0,1], it is true that x<a. Therefore a is an upper bound of [0, 1].

However  1 < (1 + a)/2 < a,

so by letting b = 1+a , we have another upper bound of [0, 1]. Since b < a, it follows that a cannot be a least upper bound of [0, 1].

Case 2,  If a ≤ 1, then no matter the value of a, there is at least one x ∈ [0,1] that makes the statement x < a false (take x = 1, for instance).

Thus  a does not fit the definition of upper bound of the set [0, 1].

Hence a is not a least upper bound, in particular.

Therefore, for every a ∈ R, either a is an upper bound for [0, 1] but not a least upper bound, or that a is not an upper bound of [0,1] at all.

Therefore sup[0,1] does not exist.

2.  Can the error be fixed above? If so, give a correct proof of the claim. If not, explain why the claim is incorrect, giving a proof or counterexample, if needed. 