sum cos(n^2/3) from n=1 to infty