MathNet 1986 — Phần 01 Câu hỏi 42

Chứng minh rằng $\sin 1^\circ + \sin 2^\circ + \ldots + \sin 3n^\circ \gt \dfrac{8n}{5}$