Lebesgue-measurable function