The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Birkhoff Ergodic Theorem
Suppose is an ErgodicSource on a finite alphabet .
Then for any function such that we have