Search: weighted ergodic theorem