folk писал(а):Source of the post
Нельзя) Предел может не содержаться в последовательности то есть не обладать свойством.
А зачем нам предел? В соответствии с аксиомой выбора, любое множество может быть вполне упорядочено. При этом любое подмножество вполне упорядоченного множества будет иметь наименьший элемент. А только это и используется в доказательстве.