ergodic theorem