sum cos(log(k)), k from 1 to infty