consider the set . for all n.. this means that the set is bounded above by and hence supremum exists and for all .

show that for all .

let and fix

consider

If , we have for all

If , we get for all

This means that for all and for all ..

Thus, is an upper bound for the set

Therefore for all and hence for all ..