sqrt(2/pi) integral cos( w x) /(1+x^2) dx from 0 to infinity