Compact interval/Monotone function/Riemann-integrable/Exercise