lim n to infty of (Sum from k = 1 to n of sin^2(k))/n