MathNet 1986 — Part 01 Question 42

Prove that $\sin 1^\circ + \sin 2^\circ + \ldots + \sin 3n^\circ \gt \dfrac{8n}{5}$