Properties of $\liminf$ and $\limsup$ of sum of sequences: $\limsup s_n + \liminf t_n \leq \limsup (s_n + t_n) \leq \limsup s_n + \limsup t_n$ Let $\{s_n\}$ and $\{t_n\}$ be sequences.
I've noticed this inequality in a few analysis textbooks that I have come across, so I've started to think this can't be a typo:
$\limsup\limits_{n \rightarrow \infty} s_n + \liminf\limits_{n \rightarrow \infty} t_n \leq \limsup\limits_{n \rightarrow \infty} (s_n + t_n) \leq \limsup\limits_{n \rightarrow \infty} s_n + \limsup\limits_{n \rightarrow \infty} t_n$.
I understand the right two-thirds of the equation, and can prove it.  I'm stuck on the far-left third.  I don't understand how that is true.
 A: This is an important result, so I would guess that most books and courses will probably mention it and either give a solution or left it as an exercises.
I'll just give a few links (I will not attempt to write down again what others have already written down - and probably much better - and what can be easily found).
EDIT: I apologize for not reading your question thoroughly enough. Most of the links I've given bellow prove only the second inequality. (Which is the easier one and you wrote that you were able to show it yourself.) I've left the remaining links - they might be useful for someone - but I've marked which of them show both inequalities.
Online:


*

*http://www.isibang.ac.in/~creraja/Ana1_11/mex.pdf Both inequalities are shown here.

*Topology Q+A board

*http://www.math.hmc.edu/computing/support/tex/classes/hmcpset/hw-example.pdf

*http://www.math.purdue.edu/~danielli/hmw5(MA504).pdf
Books:


*

*Wieslawa J. Kaczor, Maria T. Nowak: Problems in mathematical analysis: Volume 1; Real Numbers, Sequences and Series, Problem 2.4.15. The problem is given on p.44 and solved on p.198-199. (AFAIK this book is also available in French and Polish.) Both inequalities are shown here. You might also be interested in Problem 2.4.17, where similar result for product of sequences is shown.

*Sterling K. Berberian: A first course in real analysis, p.54. One of the inequalities is given here as an exercise, but a detailed hint is given.

*Jacques Dixmier: General Topology, Theorem 7.3.7 - this result is given here in a much greater generality - for a limit superior along a filterbase.
Searches:


*

*Some of the web results above were among the first when I tried searching for limsup sum. Also reasonable "lim sup" sum and  "limit superior" sum.

*"lim sup" "(an bn)" "lim inf"

*"limsup (xn+yn)" Again, you can replace limsup by "lim sup" or "limit superior".

*"lim sup" "(an+bn)"

*limsup subadditive
A: I will write only about the first inequality $$\limsup\limits_{n \rightarrow \infty} s_n + \liminf\limits_{n \rightarrow \infty} t_n \leq \limsup\limits_{n \rightarrow \infty} (s_n + t_n).$$ (You wrote that you can prove the rest.)
By definition, if $\liminf t_n=t$ then for each $\varepsilon>0$ the inequality $t_n>t-\varepsilon$ holds for all but finitely many $n$'s.
For such $n$'s we also have $s_n+t_n>s_n+t-\varepsilon$ and
$$\limsup(s_n+t_n) \ge \limsup (s_n+t-\varepsilon) = t-\varepsilon+ \limsup (s_n).$$
(We have used monotonicity of $\limsup$ and that $\limsup (C+x_n)=C+\limsup x_n$ for any constant $C$.)
Since the above inequality is true for each $\varepsilon>0$, we get that
$$\limsup(s_n+t_n) \ge t + \limsup (s_n)=\liminf t_n+\limsup s_n.$$
EDIT: Note that the above proof does not work for $t=-\infty$ (it does not make sense to write $-\infty-\varepsilon$), but in this case the inequality is clear. (Of course, we have to omit indeterminate case $\infty-\infty$, i.e., in this case we assume that $\limsup s_n$ is finite.)

Or if you use $\liminf\limits_{n\to\infty} x_n= \lim\limits_{n\to\infty} \inf\limits_{k\ge n} x_k$ and 
$\limsup\limits_{n\to\infty} x_n= \lim\limits_{n\to\infty} \sup\limits_{k\ge n} x_k$ as the definition of limit inferior/superior then you can use
$$\sup_{k\ge n} (x_k+y_k) \ge \sup_{k\ge n} x_k + \inf_{k\ge n} y_k$$
to get
$$\lim_{n\to\infty}\sup_{k\ge n} (x_k+y_k) \ge \lim_{n\to\infty}\sup_{k\ge n} x_k + \lim_{n\to\infty}\inf_{k\ge n} y_k\\
\limsup_{n\to\infty} (x_n+y_n) \ge \limsup_{n\to\infty} x_n + \liminf_{n\to\infty} y_n.$$
