mean ergodic theorem