\displaystyle
0=\int_Ef\,d\mu\geqslant\int_{E_n}f\,d\mu\geqslant\int_{E_n}\frac 1n\,d\mu=\frac{\mu(E_n)}{n}.
