Hence, find by computing the Riemann sums for a suitable sequence of partitions and taking limits.
, such that
Hence, deuce that
Hence,
if is non-negative continuous and , then for all .