increasing functions are Riemann integrable