Solution
= Solution
{c}
The finite irreducible aperiodic <Markov chain> converges to its <stationary distribution>, regardless of its initial law. Therefore $\mathbb E[X_j]\to\pi_+-\pi_-$. Taking the arithmetic means of this convergent sequence gives
$$
\boxed{\lim_{n\to\infty}\frac1n\mathbb E[S_n]=\frac{1-p-q}{1-p+q}.}
$$
This uses <linearity of expectation> and convergence of Cesàro means; it does not require the variables $X_j$ to be independent.