The summand intended in the question is . Under stationarity,
Moreover , so the summand is bounded by . A stationary geometrically ergodic Markov chain satisfies the Markov-chain law of large numbers; hence
almost surely, and therefore in probability. In particular,