Έστω

ώστε

και

για κάθε

. Έστω

. Από το θεώρημα του Taylor στο
![[x,\delta] [x,\delta]](/forum/ext/geomar/texintegr/latexrender/pictures/7d0a21fbd462d81ce81f62ed594ed1e4.png)
παίρνουμε:
Πολλαπλασιάζοντας με

προκύπτει ότι:
Εφόσον,

παίρνουμε

.
Έστω

. Σταθεροποιούμε

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

έχουμε:
Έπεται ότι:

για κάθε

.
Έτσι, έχουμε

ή

.
Καθώς το

ήταν τυχόν καταλήγουμε στην

. Συνδυάζοντας με τα προηγούμενα συμπεραίνουμε ότι

.
Σημείωση. Μας αρκεί να είναι

.