Mean ergodic theorem