1679
правок
Изменения
→Процесс Каратеодори
<tex>E \subset \bigcup\limits_n\bigcup\limits_j A_{nj}</tex>, <tex>\mu^*E \leq \sum\limits_n\sum\limits_j mA_{nj}</tex> (по определению <tex>\mu^*</tex>).
Сопоставляя с предыдущим неравенством, <tex>\mu^*E < \le \nu^* E + 2\varepsilon</tex>
Устремляя <tex>\varepsilon</tex> к нулю, побеждаем.
