# Let the nonnegative measurable function f be bounded. Prove that the integral of f is the infimum of a set.

I know the standard way to define the integral of a nonnegative measurable function f by using the supremum. How would you do it by taking the infimum?

Here is the question:

Let the nonnegative measurable function f be bounded. Prove that the integral of f under any measurable set A (assume A has finite measure) is the infimum of the set of integrals of simple functions t with f<=t.

Any help would be appreciated!

-

## 1 Answer

Assume $f(x)\le M$ for all $x$ and consider $M-f(x)$.

-
Thx. Is it legitimate for me to say the integral of M-f(x) is the supremum of the set of integrals of simple functions? –  user65214 Apr 6 '13 at 20:40