ως εξής:Έστω
μια αρίθμηση του συνόλου των ρητών. Για κάθε πραγματικό αριθμό
ορίζουμε το σύνολο
να είναι το σύνολο των φυσικών, οι οποίοι είναι δείκτες ρητών της παραπάνω αρίθμησης που είναι < του
. Έτσι η
έχει πεδίο ορισμού το
και τύπο
.Να αποδείξετε ότι η
είναιγνησίως αύξουσα, συνεχής στους άρρητους και ασυνεχής στους ρητούς.
. Τοτε υπαρχει τουλαχιστον ενας ρητος
με
, οποτε
. Ετσι, η
. Τοτε, για καθε
με
ισχυει
, απο οπου επεται η ασυνεχεια στους ρητους.
. Τοτε, για καθε
, μπορουμε να βρουμε
και κατα συνεπεια
, το οποιο τακτοποιει τη συνεχεια στους αρρητους.