Tangent and cotangent/Monotonicity behavior/Fact