Q58 Matemática  (IMO Shortlist 1967)

Encontre todos os $x$ para os quais, para todos os $n,$ $$\sum _{k=1}^n\mathrm{sen}kx\le \frac{\sqrt{3}}{2}.$$