For any two sequences \(\{x_n\}\) and \(\{y_n\}\), it is known that,
\(\liminf x_n + \liminf y_n \le \liminf (x_n + y_n) \le \limsup (x_n + y_n) \le \limsup x_n + \limsup y_n \quad (*)\)
Suppose that \(x_n = \begin{cases} 0 & \text{if } n \text{ is even} \\ 1 & \text{if } n \text{ is odd} \end{cases}\) and \(y_n = 1 - x_n\), for all \(n \ge 1\).
Then, which of the following statements is/are true for \(\{x_n\}\) and \(\{y_n\}\) ?
\(S_1\) : strict inequalities hold in \((*)\) above.
\(S_2\) : \(\{x_n + y_n\}\) converges, while \(\{x_n\}\) and \(\{y_n\}\) do not.