MC ergodic theorem proof; motivation.tex