We have that a≤supA for all a∈A and b≤supB for all b∈B. This means that
a+b≤supA+supBfor all a∈A and b∈B. Hence, supA+supB is an upper bound of A+B. Consequently, by definition,
sup(A+B)≤supA+supB.Now, by definition there exist a∈A and b∈B such that
supA−a<2εand
supB−b<2εfor any ε>0. This implies that
supA+supB<a+b+ε≤sup(A+B)+ε.