Mathematics for Applied Sciences (Osnabrück 2023-2024)/Compact interval/Real function/Riemann integrable on partition/Fact/Proof/Exercise/Exercisereferencenumber