Podunk hat maximal 518 Einwohner.
Nehmen wir an, Podunk hätte mehr als 518 Einwohner, sagen wir 520. Dann müsste
es 520 verschiedene Zahlen geben, die alle kleiner als 520 sind und von denen
keine gleich 518 ist. Das ist unmöglich; es gibt genau 520 verschiedene Zahlen
(einschließlich der Null, die kleiner als 520 sind, folglich gibt es nur 519 Zahlen,
die nicht gleich 518 und kleiner als 520 sind.