sum from n=1 to 20000 of 1/n*cos(1/n)