summation from 0 to infinity cos x/x