Suppose that f is integrable on [a; b]. For ā>0 , there exist partitions P1 and P2 such that
L(f,P1ā)>L(f)ā2āā and U(f;P2)<U(f)+2āāFor P:=P1āāŖP2ā we haveL(f)ā2āā<L(f,P1ā)ā¤L(f;P)ā¤U(f,P)ā¤U(f,P2ā)<U(f)+2āā
Since L(f) = U(f), it follows that U(f,P)āL(f,P)<ā
Implies š(āš, š) = āšæ(š, š) and šæ(āš, š) = āš(š, š)