Tangent and cotangent/Monotonicity behavior/Fact/Proof/Exercise
Show that the real tangent function induces a bijective, strictly increasing function
and that the real cotangent function induces a bijective strictly decreasing function
Show that the real tangent function induces a bijective, strictly increasing function
and that the real cotangent function induces a bijective strictly decreasing function