Birkhoff ergodic theorem