IMO 1967 - Danh sách đề xuất (Longlist) Câu hỏi 55

(USS 2) Tìm mọi $x$ sao cho với mọi $n$,
$$\sin x+\sin2x+\sin3x+\cdots+\sin nx\le\frac{\sqrt3}{2}.$$