Then , with `` f '' non-negative integrable functions and `` f '' being their pointwise limit inferior , we have
Then , with `` f '' inferior functions and `` f '' being their non-negative integrable limit pointwise , we have