We shall assume this fact also.

partitions and a number such that

In particular,

The converse of this statement also holds and we shall assume it.

A bounded function is integrable if and only if there exists a sequence of refinement partitions of such that

Note:

In view of the above theorem, to check that a function is integrable, it is enough to produce a sequence of refinement partitions of such that