На вопрос первой задачи ответ утвердительный.
Предположим для определенности, что население Нью-Йорка составляет 8 миллионов человек. Если число волос на голове у каждого жителя Нью-Йорка неповторимо, то это означает, что должно существовать 8 миллионов различных целых положительных чисел, каждое из которых меньше 8 миллионов, а это невозможно.
Переходим ко второй задаче. Численность населения Поданка не превышает 518 человек. Действительно, предположим, что в городе Поданк проживает более 518 человек - например, 520 человек. В этом случае должны были бы существовать 520 различных целых неотрицательных чисел, отличных от 518 и меньших 520. Но это невозможно, так как существует ровно 520 целых чисел (и среди них нуль), каждое из которых меньше 520. Следовательно, существует лишь 519 чисел, отличных от 518, которые меньше 520.
Заметим, кстати, что один из жителей Поданка должен быть совершенно лысым. Почему?
Решение
