304
правки
Изменения
м
\alpha-conversion
2 \sup\limits_n \left \| \sum\limits_{i = 1}^n (y_m^i - y_k^i) e_i \right \| < 2 \varepsilon</tex> при <tex>m, k > N(\varepsilon)</tex>
Рассмотренная последовательность сходится в себе, следовательно, сходится. Пусть эта последовательность сходится к <tex>z^kn</tex>, докажем, что <tex>z</tex> является пределом последовательности <tex>y_i</tex>. {{TODO|t=Coming soon...}}
}}