p 88

Shannon-McMillan-Breiman’s Theorem, a demo outline

Shannon demonstrated this for finite Markov chains, McMillan for stationary processes in the sense of almost sure convergence, and then Breiman for stationary processes in the sense of L1 convergence.

The following note outlines the idea of the proof.