Originally Posted by

**Logic** Hello,

I need to prove that |sinnx|<=n|sinx| using mathematical induction, but I get stuck as to how to use the inductive presumption.

Firstly, we need to check whether the given statement is true for n = 1.

We get |sinx|<=|sinx| which is, obviously, true.

Secondly, we presume that |sinnx|<=n|sinx| is true and we need to prove that it is also true for n+1, i.e. |sin(n+1)x|<=(n+1)|sinx|

The last inequation equals |sin(n+1)cosx + cos(n+1)sinx|<=(n+1)|sinx|

I am not certain how to proceed from here forth.

Do I need to use |x|-|y|<=|x+y|<=|x|+|y| - the triangle inequation to simplify somehow? And how does the presumption come into use?