9. Вот многим знакомая логическая задача. Известно, что в Нью-Йорке жителей больше, чем волос на голове у любого из них, и что среди жителей Нью-Йорка нет полностью лысых, у которых на голове не осталось бы ни одного волоса. Следует ли отсюда, что в Нью-Йорке непременно найдутся по крайней мере два жителя с одинаковым числом волос на голове?
Приведем еще один вариант этой задачи, незначительно отличающийся от предыдущего. О населении города Поданк известно следующее.
1. Среди жителей Поданка не найдется двух с равным числом волос на голове.
2. Ни у одного жителя Поданка на голове не растет ровно 518 волос.
3. Жителей в Поданке больше, чем волос на голове любого из них.
Какова наибольшая численность населения Поданка? Ответ
