The proof is a simple consequence of the mean value thoerem. If
, consider a point d. We have:
, where is a number between the inf and the
sup of f in [d,x] (or [x,d]). Then as
x tends towards d, the last member tends to
zero (due to the fact that f is bounded). This proves
continuity of F.