Von Neumann's ergodic theorem