The maximal ergodic theorem applied to $f - ε$: the set on which some $Sⱼ f$ exceeds $ε j$, $1 ≤ j ≤ n$, is the set on which the maximal Birkhoff sum of $f - ε$ is positive, and there $∫ (f - ε) ≥ 0$.