Σ(n=1〜15) sin^2(n pi/31)