Birkhoff's ergodic theorem