Επίσης, επειδή
έχουμε ότι για κάθε
υπάρχει
,
τέτοιο ώστε για κάθε
με
να έχουμε
.
Μπορούμε να υποθέσουμε ότι τα
είναι τέτοια ώστε
για κάποιο
και ότι
(γιατί;). Οπότε
.
Στο
διάστημα
η συνάρτηση είναι συνεχής και άρα σύμφωνα με γνωστό θεώρημα
έχει μέγιστο, έστω
.
Ο αριθμός
είναι και φράγμα της
συνάρτησης αφού για
είναι
Δεν υπάρχει τέτοιο σημείο
τέτοιο ώστε
,
αφού
και άρα η συνάρτηση δεν είναι κάτω φραγμένη.
Η ύπαρξη τέτοιου σημείου θα σήμαινε ότι η συνάρτηση είναι κάτω φραγμένη.