summation from 1 to infinity cos x/ x