Heaviness: An Extension of a Lemma of Y. Peres

We provide an elementary proof of Y. Peres' lemma on the existence in certain dynamical systems of what we term heavy points, points whose ergodic averages consistently dominate the expected value of the ergodic averages. We also derive several generalizations of Peres' lemma by employing techniques from the simplified proof.