 Infinite-future formula for partition entropy rate

For a finite measurable partition $\xi$, put ${\mathcal{F}}_1=\sigma ({\bigvee }_{j\ge 1}{T}^{-j}\xi )$. Then $h_{\mu }(T,\xi )=H_{\mu }(\xi \mid {\mathcal{F}}_1)={\lim }_{n\to \infty }{H}_{\mu }(\xi \mid {\xi }_1^n)$. The backward entropy chain rule writes $H_{\mu }({\xi }_0^{N-1})$ as the sum of the first $N$ decreasing finite-future conditional entropies. Their averages have the same limit. Increasing conditioning fields converge by the martingale convergence theorem.