1679
правок
Изменения
Нет описания правки
Возьмём <tex>\forall \varepsilon_k > 0, \sum\limits_{k = 1}^\infty \varepsilon_k < +\infty</tex>. Например, <tex>\varepsilon_k = \frac{1}{2^k}</tex>.
В силу условия леммы, <tex>\forall \varepsilon_k\ \exists n_1\ forall n, m > n_1 : \mu E(|f_n - f_m| \geq \varepsilon_1) < \varepsilon_1</tex>
<tex>m = n_1</tex>, <tex>\forall n \geq m</tex>
