sum_(n=0)^n sin(n x)