Республиканская олимпиада по математике 2006 года за 10 класс | Казахстанские олимпиады

Докажите, что для каждого xx такого, что sin⁡x≠0\sin x \neq 0, найдется такое натуральное nn, что ∣sin⁡nx∣≥32|\sin nx| \geq \frac{\sqrt{3}}{2}.