Dunford–Schwartz theorem

Let ${\textstyle T}$ be a linear operator from ${\textstyle L^{1}}$ to ${\textstyle L^{1}}$ with ${\textstyle \|T\|_{1}\leq 1}$ and ${\textstyle \|T\|_{\infty }\leq 1}$. Then

${\displaystyle \lim _{n\rightarrow \infty }{\frac {1}{n}}\sum _{k=0}^{n-1}T^{k}f}$

exists almost everywhere for all ${\textstyle f\in L^{1}}$.

The statement is no longer true when the boundedness condition is relaxed to even ${\displaystyle \|T\|_{\infty }\leq 1+\varepsilon }$.^[2]