Von Neumann Mean Ergodic Theorem