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