Sine and cosine/Monotonicity behavior/Fact