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