Θεωρούμε τη συνάρτηση

. Αυτή είναι γνησίως αύξουσα με πεπερασμένα το πλήθος σταθερά σημεία και

.
(α) Έστω

το μεγαλύτερο σταθερό σημείο της

. Τότε,

για κάθε

. Μπορείς να υποθέσεις ότι

για κάθε

, αλλιώς δουλεύεις με την

. Τότε για κάθε

η ακολουθία

που ορίζεται αναδρομικά ως

, συγκλίνει στο

. Αυτό δίνει ότι η

είναι σταθερή στο

. Δουλεύεις παρόμοια για τα

κάτω από το μικρότερο σταθερό σημείο.
(β) Για τα ενδιάμεσα σταθερά σημεία (εφόσον υπάρχουν) ισχύει το εξής:
Λήμμα. Έστω
![h:[a,b]\to [a,b] h:[a,b]\to [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/af35dd58b7e0de664ea8ab6311687126.png)
συνεχής συνάρτηση ώστε η

έχει μόνο δυο λύσεις, τα

. Τότε για κάθε
![z_1\in [a,b] z_1\in [a,b]](/forum/ext/geomar/texintegr/latexrender/pictures/b8e2aab12c484a345755e462e2450ebc.png)
η ακολουθία

που ορίζεται αναδρομικά

συγκλίνει (σε λύση της εξίσωσης

).
Απόδειξη λήμματος. Άσκηση.
Από τα (α) και (β) έπεται ότι η

είναι σταθερή.