https://9dok.net/document/zgwkjgov-power-bounded-operators-mean-ergodic-theorem-subsequences.html