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,Ifa>1, then for everyx[0,1], it is true thatx

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

so by letting b = 1+a , we have another upper bound of [0, 1]. Since b < a, it followsthat 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.