Riemann integrability/Elementary properties/Maximum/Fact/Proof/Exercise