integral from 1 to infinity of cos(x)*frac(1/x)