Problem 271 (difficulty: 4/10)
Prove that if \(\displaystyle (a_n)\) is convergent and \(\displaystyle (b_n)\) is an arbitrary sequence, then
\(\displaystyle \Olim (a_n+b_n) = \lim a_n + \Olim b_n. \)