First we show that F F F is well defined on [ a , b ] [a,b] [ a , b ] . Let y β [ a , b ] y\in[a,b] y β [ a , b ] . Since f f f is continuous at every point of [ a , b ] [a,b] [ a , b ] , it is in particular continuous at every point of [ a , y ] [a,y] [ a , y ] . Hence f β£ [ a , y ] : [ a , y ] β R f|_{[a,y]}:[a,y]\to\mathbb{R} f β£ [ a , y ] β : [ a , y ] β R is continuous on [ a , y ] [a,y] [ a , y ] in the sense of Continuity on a Closed Interval . By Continuous Functions on a Closed Interval are Riemann Integrable , the restriction f β£ [ a , y ] f|_{[a,y]} f β£ [ a , y ] β is Riemann integrable on [ a , y ] [a,y] [ a , y ] . Therefore the integral
F ( y ) = β« a y f ( t ) β d t F(y)=\int_a^y f(t)\,dt F ( y ) = β« a y β f ( t ) d t
is defined for every y β [ a , b ] y\in[a,b] y β [ a , b ] .
Now fix a point x β ( a , b ) x\in(a,b) x β ( a , b ) . We will show that F F F is differentiable at x x x and that F β² ( x ) = f ( x ) F'(x)=f(x) F β² ( x ) = f ( x ) .
Let Ξ΅ > 0 \varepsilon>0 Ξ΅ > 0 . Since f f f is continuous at x x x in the sense of Continuity at a Point , there exists Ξ΄ > 0 \delta>0 Ξ΄ > 0 such that whenever β£ u β x β£ < Ξ΄ |u-x|<\delta β£ u β x β£ < Ξ΄ , one has
β£ f ( u ) β f ( x ) β£ < Ξ΅ . |f(u)-f(x)|<\varepsilon. β£ f ( u ) β f ( x ) β£ < Ξ΅ .
Let h β R h\in\mathbb{R} h β R satisfy 0 < β£ h β£ < Ξ΄ 0<|h|<\delta 0 < β£ h β£ < Ξ΄ and x + h β [ a , b ] x+h\in[a,b] x + h β [ a , b ] . Since F F F is already known to be well defined on [ a , b ] [a,b] [ a , b ] , both F ( x + h ) F(x+h) F ( x + h ) and F ( x ) F(x) F ( x ) exist. If h > 0 h>0 h > 0 , then a β€ x β€ x + h β€ b a\le x\le x+h\le b a β€ x β€ x + h β€ b , so by Additivity of the Riemann Integral on Adjacent Intervals applied to f f f on the adjacent intervals [ a , x ] [a,x] [ a , x ] and [ x , x + h ] [x,x+h] [ x , x + h ] ,
F ( x + h ) β F ( x ) = β« x x + h f ( t ) β d t . F(x+h)-F(x)=\int_x^{x+h} f(t)\,dt. F ( x + h ) β F ( x ) = β« x x + h β f ( t ) d t .
If h < 0 h<0 h < 0 , then a β€ x + h β€ x β€ b a\le x+h\le x\le b a β€ x + h β€ x β€ b , so by Additivity of the Riemann Integral on Adjacent Intervals applied to f f f on the adjacent intervals [ a , x + h ] [a,x+h] [ a , x + h ] and [ x + h , x ] [x+h,x] [ x + h , x ] ,
F ( x ) β F ( x + h ) = β« x + h x f ( t ) β d t . F(x)-F(x+h)=\int_{x+h}^{x} f(t)\,dt. F ( x ) β F ( x + h ) = β« x + h x β f ( t ) d t .
Writing k = β h > 0 k=-h>0 k = β h > 0 , it follows that
F ( x + h ) β F ( x ) h β f ( x ) = 1 k β« x + h x ( f ( t ) β f ( x ) ) β d t \frac{F(x+h)-F(x)}{h}-f(x)=\frac{1}{k}\int_{x+h}^{x}(f(t)-f(x))\,dt h F ( x + h ) β F ( x ) β β f ( x ) = k 1 β β« x + h x β ( f ( t ) β f ( x )) d t
when h < 0 h<0 h < 0 , while
F ( x + h ) β F ( x ) h β f ( x ) = 1 h β« x x + h ( f ( t ) β f ( x ) ) β d t \frac{F(x+h)-F(x)}{h}-f(x)=\frac{1}{h}\int_x^{x+h}(f(t)-f(x))\,dt h F ( x + h ) β F ( x ) β β f ( x ) = h 1 β β« x x + h β ( f ( t ) β f ( x )) d t
when h > 0 h>0 h > 0 .
If h > 0 h>0 h > 0 , then for every t β [ x , x + h ] t\in[x,x+h] t β [ x , x + h ] one has β£ t β x β£ β€ h < Ξ΄ |t-x|\le h<\delta β£ t β x β£ β€ h < Ξ΄ , so β£ f ( t ) β f ( x ) β£ < Ξ΅ |f(t)-f(x)|<\varepsilon β£ f ( t ) β f ( x ) β£ < Ξ΅ . Therefore
β£ 1 h β« x x + h ( f ( t ) β f ( x ) ) β d t β£ β€ 1 h β« x x + h β£ f ( t ) β f ( x ) β£ β d t β€ 1 h β« x x + h Ξ΅ β d t = Ξ΅ . \left|\frac{1}{h}\int_x^{x+h}(f(t)-f(x))\,dt\right|
\le \frac{1}{h}\int_x^{x+h}|f(t)-f(x)|\,dt
\le \frac{1}{h}\int_x^{x+h}\varepsilon\,dt
=\varepsilon. β h 1 β β« x x + h β ( f ( t ) β f ( x )) d t β β€ h 1 β β« x x + h β β£ f ( t ) β f ( x ) β£ d t β€ h 1 β β« x x + h β Ξ΅ d t = Ξ΅ .
If h < 0 h<0 h < 0 , then for every t β [ x + h , x ] t\in[x+h,x] t β [ x + h , x ] one has β£ t β x β£ β€ β£ h β£ = k < Ξ΄ |t-x|\le |h|=k<\delta β£ t β x β£ β€ β£ h β£ = k < Ξ΄ , so β£ f ( t ) β f ( x ) β£ < Ξ΅ |f(t)-f(x)|<\varepsilon β£ f ( t ) β f ( x ) β£ < Ξ΅ . Hence
β£ 1 k β« x + h x ( f ( t ) β f ( x ) ) β d t β£ β€ 1 k β« x + h x β£ f ( t ) β f ( x ) β£ β d t β€ 1 k β« x + h x Ξ΅ β d t = Ξ΅ . \left|\frac{1}{k}\int_{x+h}^{x}(f(t)-f(x))\,dt\right|
\le \frac{1}{k}\int_{x+h}^{x}|f(t)-f(x)|\,dt
\le \frac{1}{k}\int_{x+h}^{x}\varepsilon\,dt
=\varepsilon. β k 1 β β« x + h x β ( f ( t ) β f ( x )) d t β β€ k 1 β β« x + h x β β£ f ( t ) β f ( x ) β£ d t β€ k 1 β β« x + h x β Ξ΅ d t = Ξ΅ .
Thus, for the number f ( x ) β R f(x)\in\mathbb{R} f ( x ) β R and for every Ξ΅ > 0 \varepsilon>0 Ξ΅ > 0 , there exists Ξ΄ > 0 \delta>0 Ξ΄ > 0 such that whenever 0 < β£ h β£ < Ξ΄ 0<|h|<\delta 0 < β£ h β£ < Ξ΄ and x + h β [ a , b ] x+h\in[a,b] x + h β [ a , b ] , one has
β£ F ( x + h ) β F ( x ) h β f ( x ) β£ β€ Ξ΅ . \left|\frac{F(x+h)-F(x)}{h}-f(x)\right|\le \varepsilon. β h F ( x + h ) β F ( x ) β β f ( x ) β β€ Ξ΅ .
This is exactly the condition in Derivative at an Interior Point for F F F to be differentiable at x x x with derivative f ( x ) f(x) f ( x ) . Therefore F F F is differentiable at x x x in the sense of Derivative at an Interior Point , and F β² ( x ) = f ( x ) F'(x)=f(x) F β² ( x ) = f ( x ) .