Infimum rule for partition entropy rate (source code)

= Infimum rule for partition entropy rate

For a measure-preserving action of $\mathbb Z$ and a finite partition $\xi$,
$$
h_\mu(T,\xi)=\inf_{\varnothing\ne F\subseteq\mathbb Z_{\geq0}\text{ finite}}
\frac1{|F|}H_\mu\left(\bigvee_{n\in F}T^{-n}\xi\right).
$$
The reverse inequality to the interval formula follows from <Shearer's inequality> applied to translates of $F$ along long intervals; the uncovered boundary has sublinear size.