sum(1/sqrt(n)*cos(ln(n)),{n,1,4000})