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

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