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

Ответ: ответ утвердительный.Предположим для определенности, что население Нью-Йорка составляет 8 миллионов человек. Если число волос на голове у каждого жителя Нью-Йорка неповторимо, то это означает, что должно существовать 8 миллионов различных целых положительных чисел, каждое из которых меньше 8 миллионов, а это невозможно.