极大遍历引理

maximal-ergodic lemma