Compact interval/Real function/Riemann integrable on partition/Fact