Sine and cosine/Monotonicity behavior/Fact/Proof/Exercise