수열 $\{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}\]