Interactive Real Analysis

If f is a non-negative measurable function defined on E and h is a bounded measurable function such that m( {x: h(x) # 0} ) is finite, then we define

_E f(x) dx = sup{ _E h(x) dx, h f }

If _E f(x) dx is finite, then f is called Lebesgue integrable over E.