Теорема о предельной точке.

[main.c]

Всякое ограниченное бесконечное подмножество прямой $R$, имеет предельную точку в $R$.
http://cs6296.userapi.com/u102060840/docs/be09409b7a95/Lektsii_po_matan_IU9_1sem.pdf, тут на 25 стр. дано доказательство, и вроде бы понятно, но только до момента $E_n = E \cup I_n$, у меня вопрос, может там должно быть $E_n = E \cap I_n$ ?

[xmaister]

main.c в сообщении #668475 писал(а):

у меня вопрос, может там должно быть $E_n = E \cap I_n$ ?

Да.