miara Lebesgue'a Patka: załóżmy że f_n jest ciągiem funkcji mierzalnych w sensie Lebesgue'a dowieść, że zbiór {x∊R: limf_n (x)=−∞} jest mierzalny w sensie Lebesgue'a.