Subadditivity of limsup and Superadditivity of liminf

For bounded sequences, limsup of a sum is at most the sum of limsups, and liminf is at least the sum of liminfs.