a_n + b_n ≤ sup a_n + sup b_n

から明らか。