Compact interval/Riemann integrable/Definite integral/Definition