@Gast
ja, folgt daraus.
Angenommen, New York hätte X Einwohner.
Der Einwohner mit den meisten Haaren hätte Y Haare.
X > Y laut deiner Voraussetzung.
Sortieren wir die Einwohner nach der Anzahl ihrer Haare und versuchen, dass Gegenteil der Behauptung zu beweisen, nämlich dass alle Einwohner eine verschiedene Anzahl an Haaren besitzt, so nehmen wir an, der erste hätte ein Haar, der zweite hätte 2 Haare, der dritte 3 usw.
Dann hat der Y. folglich Y Haare und der Y+1. muss eine schon dagewesene Anzahl Haaren auf den Kopf haben, denn keiner hat mehr als Y Haare auf dem Kopf (siehe oben).
Das Gegenteil führt also zu einem Widerspruch, womit die ursprüngliche Aussage wahr sein muss.