Birkhoff Ergodic Theorem