Mean Ergodic Theorem