The above link is the proof of $\lim \inf x_n + \lim \inf y_n \le \lim \inf (x_n+y_n)$ when $x_n$ and $y_n$ are bounded.
Could you tell me why $XY_n \subset X_n+Y_n$??
Also, my textbook gives me a hint that 'Find a subsequence $\{x_{n_i}+y_{n_i}\}$ that converges. Then find a subsequence $\{x_{n_{m_i}}\}$ of $\{x_{n_i}\}$ that converges. Then apply what you know about limits.'. I really have no idea how to use this hint. Please tell me if you know how to use this hint.
Thank you in advance.
For the first question: For $k\geq n$, $x_{k}+y_{k}\in X_{n}+Y_{n}$ because each $x_{k}\in X_{n}=\{x_{l}: l\geq n\}$ and $y_{k}\in Y_{n}=\{y_{l}: l\geq n\}$. So we conclude that $XY_{n}\subseteq X_{n}+Y_{n}$.
For the second question: Let $\liminf(x_{n}+y_{n})=\lim_{k}(x_{n_{k}}+y_{n_{k}})$. Since $(x_{n_{k}})$ is bounded, then there is a further subsequence $(x_{n_{k_{i}}})$ of $(x_{n_{k}})$ such that $\lim_{i}x_{n_{k_{i}}}$ exists. Since $\liminf x_{n}$ is the smallest limit point of its convergent subsequences, so $\liminf x_{n}\leq\lim_{i}x_{n_{k_{i}}}$. Now the corresponding subsequence $(y_{n_{k_{i}}})$ of $(y_{n_{k}})$ need no converge, but there is a further subsequence $(y_{n_{k_{i_{l}}}})$ of $(y_{n_{k_{i}}})$ such that $\lim_{l}y_{n_{k_{i_{l}}}}$ exists. Once again we have $\liminf y_{n}\leq\lim_{l}y_{n_{k_{i_{l}}}}$. The corresponding subsequence $(x_{n_{k_{i_{l}}}}+y_{n_{k_{i_{l}}}})$ of $(x_{n_{k}}+y_{n_{k}})$ is convergent and $\lim_{l}(x_{n_{k_{i_{l}}}}+y_{n_{k_{i_{l}}}})=\lim_{k}(x_{n_{k}}+y_{n_{k}})$. But $\lim_{l}(x_{n_{k_{i_{l}}}}+y_{n_{k_{i_{l}}}})=\lim_{l}x_{n_{k_{i_{l}}}}+\lim_{l}y_{n_{k_{i_{l}}}}=\lim_{i}x_{n_{k_{i}}}+\lim_{l}y_{n_{k_{i_{l}}}}$, the result follows.