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.