Page "0, +∞) be non-negative [real-valued measurable" not found :(