Предположим противное: множество © конечно. Тогда существует число M = max ©. Следовательно, M+1Ω, что противоречит условию M = max ©. 0