\frac{\sin 1 + \sin 2 + \cdots + \sin n}{\log n} \to 0 (n \to \infty)

を示せ