We consider the function
-
which is
strictly increasing
in this interval. Hence, for a subinterval
,
the value is the
minimum,
and is the
maximum
of the function on this subinterval. Let be a positive natural number. We partition the interval into the subintervals
, ,
of length . The
step integral
for the corresponding
lower step function
is
-
(see
exercise
for the formula for the sum of the squares).
Since the
sequences
and
converge
to , the
limit
for of these step integrals equals . The
step integral
for the corresponding
step function from above
is
-
The limit of this sequence is again . By
fact,
the
upper integral
and the
lower integral
coincide, hence the function is
Riemann-integrable,
and for the
definite integral
we get
-