που να ικανοποιούν
.Γνωρίζουμε από την συζήτηση εδώ ότι κάθε τέτοια συνάρτηση πρέπει να είναι της μορφής
για κάποιο πραγματικό αριθμό
. Αν ο c είναι ακέραιος τότε η συνάρτηση έχει πράγματι πεδίο τιμών το
. Αν όμως δεν είναι ακέραιος; Υπάρχει
ώστε ο
να είναι ακέραιος για κάθε φυσικό αριθμό
;Αυτή την άσκηση την είχα δει παλιότερα. Έχω μια λύση (όχι δική μου) την οποία θεωρώ εξαιρετικά δύσκολο να βρει κάποιος. Οι γνώσεις που χρησιμοποιεί είναι στην ύλη των φοιτητικών διαγωνισμών αλλά αν δεν υπάρχει πιο απλή λύση θα το θεωρούσα άδικο να πέσει σε ένα τέτοιο διαγωνισμό. (Δεν θα εκπλαγώ όμως αν ο Αχιλλέας μας πει πως έπεσε στον Putnam του 19?? με λύση ακριβώς ίδια με αυτή που γνωρίζω.)

ομαλή συνάρτηση τότε
για κάποιο
. (1)
και
όπου
θετικός ακέραιος η (1) δίνει
για κάποιο
(2)
, άτοπο.
είναι ειδική περίπτωση του θεωρήματος μέσης τιμής. Για το επαγωγικό βήμα παρατηρούμε ότι αν
, τοτε
.