Let {a_n} be a bounded sequence. Suppose that for every bounded sequence
{b_n} we have

limsup_{n->∞}(a_n+b_n) = limsup_{n->∞}a_n+limsup_{n->∞}b_n.

Prove that {a_n} is convergent.