Compact interval/Real function/Riemann integrable via step functions/Definition