An instance of (2): the proof of the individual ergodic theorem by Garcia, using a "maximal ergodic lemma" is considerably shorter and simpler than the original one of Birkhoff.
Pietro Majer
- 60.6k
- 4
- 122
- 269