高等数学 三角恒等式 $$ \left| \sum_{k=1}^{n} \sin nx \right| \leq \frac{1}{\left|\sin \frac{x}{2} \right|} $$ hint: 三角函数の和差与积 + 裂项