Mathematics for Applied Sciences (Osnabrück 2023-2024)/Ordered field/a \geq b positive/Ratio/Exercise/Exercisereferencenumber