Measure transformation

$\int_{0}^{\infty} \mu [|f| > t] m(dt) $ = $\int |f| d\mu$

by Fubini. 

이상하게 생긴 measure를 조금 더 편하게 다룰 수 있는 Lebesgue measure로 데려오기 위해 필요한 Theorem