  We prove the constructive version of Birkhoff's ergodic theorem following
Vyugin but trying to separate and state explicitly the combinatorial statement
on which this proof is based. We pose some questions related to this statement
(and the effective ergodic theorem in general).
