Sigma-ciała i zbiory borelowskie. Miary, miary zewnętrze i miara Lebesgue'a. Funkcje mierzalne. Całka Lebesgue'a. Inne zagadnienia analizy rzeczywistej.
Mam pewien dowód ciągłości z góry, ale nie rozumiem jednego przejścia. \(\displaystyle{ A_n \downarrow A \Leftrightarrow A_n' \uparrow A' \Rightarrow P(A_n') \uparrow P(A') \Rightarrow 1-P(A_n) \uparrow 1-P(A) {\red \Rightarrow P(A_n) \downarrow P(A)}}\)
Nie rozumiem tej części na czerwono.