Maximal ergodic theorem
[fr] Théorème ergodique maximal