Riemann and Lebesgue integration