\sum_{n=1}^k \frac{\sin^2 n}{n^2}