Mathematics for Applied Sciences (Osnabrück 2023-2024)/Real positive number/Root/Unique existence/Fact/Factreferencenumber