, ορίζουμε
να είναι το
οστό ψηφίο του στη δεκαδική αναπαράσταση αυτού. Έστω
ακολουθία θετικών ακεραίων, έτσι ώστε η ακολουθία
να έχει μόνο πεπερασμένο πλήθος μηδενικών. Δείξτε ότι υπάρχουν άπειροι θετικοί ακέραιοι που δεν περιλαμβάνονται στην ακολουθία
.
περιέχονται στην ακολουθία
μηδενικά. Παίρνω ακέραιο
ώστε
. Υπάρχουν
φυσικοί με το πολύ
από αυτούς εμφανίζονται στην ακολουθία. Άρα τουλάχιστον
από αυτούς είναι όροι της μορφής
. Για κάθε τέτοιο όρο όμως έχουμε
οπότε η ακολουθία
μηδενικά, άτοπο.