Monotonicity of a Function ==2024-12-12 Lazy to type. Theory See this AI answer(don’t blindly follow) PTR