수열 $\{a_n\}$은 모든 항이 양수인 감소하는 수열이고, $0<\theta<\frac\pi2$이다. 다음이 성립함을 보여라. \[ \left\lvert \sum_{n=1}^{2017} a_n \cos n\theta\right\rvert \le \frac{\pi a_1}\theta\]