\sum_{k=1}^\infty\cos(k)/(k^2+4)