μία συνάρτηση τέτοια ώστε, για
και για κάθε
στο
, να ισχύει: 
α) Να αποδειχθεί ότι η συνάρτηση
ικανοποιεί την συνθήκη τού
για την ύπαρξη τού ορισμένου ολοκληρώματος.β) Έστω
διαμέριση τού
με λεπτότητα
και έστω
το άθροισμα τού
πού αντιστοιχεί στην
για τυχούσα επιλογή ενδιαμέσων σημείων
τής
.Να αποδειχθεί ότι

ΛΗΜΜΑ: Έστω
μία φραγμένη και ολοκληρώσιμη συνάρτηση. Για οποιαδήποτε διαμέριση
τού
καί γιά τυχούσα επιλογή ενδιαμέσων σημείων
τής
ισχύει:
, όπου
καί
τό άνω καί κάτω άθροισμα τής
ως προς την διαμέριση
.

καί γιά
. Επομένως
είναι ομοιόμορφα συνεχής στό
είναι διαμέριση τού
, η
στό
, τέτοια ώστε:![\begin{array}{l}
m_{i}=\mathop{\inf}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\min}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\rho_{i}})\\\noalign{\vspace{0.2cm}}
M_{i}=\mathop{\sup}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\max}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\sigma_{i}})\,.\end{array} \begin{array}{l}
m_{i}=\mathop{\inf}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\min}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\rho_{i}})\\\noalign{\vspace{0.2cm}}
M_{i}=\mathop{\sup}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=\mathop{\max}\limits_{i}\left\lbrace{f(x):\,x\in\left[{x_{i-1},\,x_{i}}\right]}\right\rbrace=f({\sigma_{i}})\,.\end{array}](/forum/ext/geomar/texintegr/latexrender/pictures/7eb8f8455eb5a6f643eda2ef1fc8d1b1.png)
(2).

.
, υπάρχει διαμέριση
, τέτοια ώστε νά ισχύει:
.

![(*)\displaystyle\,\left({\forall\,\varepsilon>0}\right)\left({\exists\,\delta=\tfrac{\varepsilon}{K}>0}\right)\left({\forall\,x,\,y\in\left[{\alpha,\,\beta}\right]}\right) \ |{x-y}|<\delta \ \Rightarrow (*)\displaystyle\,\left({\forall\,\varepsilon>0}\right)\left({\exists\,\delta=\tfrac{\varepsilon}{K}>0}\right)\left({\forall\,x,\,y\in\left[{\alpha,\,\beta}\right]}\right) \ |{x-y}|<\delta \ \Rightarrow](/forum/ext/geomar/texintegr/latexrender/pictures/94343aef5e5b238054e544331f8efc79.png)
.