integral[1,inf] cos(k)/(k^2+1)