9

Вот многим знакомая логическая задача. Известно, что в Нью-Йорке жителей больше, чем волос на голове у любого из них, и что среди жителей Нью-Йорка нет полностью лысых, у которых на голове не осталось бы ни одного волоса. Следует ли отсюда, что в Нью-Йорке непременно найдутся по крайней мере два жителя с одинаковым числом волос на голове?

Приведем еще один вариант этой задачи, незначительно отличающийся от предыдущего. О населении города Поданк известно следующее.

1. Среди жителей Поданка не найдется двух с равным числом волос на голове.

2. Ни у одного жителя Поданка на голове не растет ровно 518 волос.

3. Жителей в Поданке больше, чем волос на голове любого из них.

Какова наибольшая численность населения Поданка?