Lebesgue measure and integration