Problem

Source:

Tags: algebra, inequalities, trigonometry



Prove that for every $x$ such that $\sin x \ne 0$, there is such natural $n$, which $$ | \sin nx| \ge \frac{\sqrt3}{2}.$$