Φ_n(f)＝∫[x∈I||f(x)≧n}|f(x)|dx>=m(x)n
lim[n→∞]sup{Φ_n(f)}＝sup{m(x)n}
∫[I]|f(x)|dx≦K->m(x)n>K->m(x)=0