Lemma (proposed): Let $T$ be an ergodic measure-preserving transformation of a probability space $(X,\mathcal{F},\mu)$, and let $(f_n)$ be a sequence of integrable functions from $X$ to $\mathbb{R}$ which satisfy the subadditivity relation $f_{n+m} \leq f_n \circ T^m + f_m$ a.e. for all integers $n,m \geq 1$. Suppose that $f_n(x) \to -\infty$ in the limit as $n \to \infty$ for $\mu$-a.e. $x \in X$. Then $\lim_{n \to \infty} \frac{1}{n}\int f_n d\mu <0$.