Evaluate $\sum_{n=1}^\infty \dfrac{\sin n}n$.
By Euler's theorem, $\sin x = \dfrac{e^{ix}-e^{-ix}}{2i}$ for every real number x. Also, I know that $\sum_{n=1}^\infty \dfrac{1}{n^2} = \dfrac{\pi^2}6.$ I'm not sure whether the integral $\int_{1}^\infty \dfrac{\sin x}x dx$ converges. One method for computing the exact value of an infinite sum is to use the Squeeze theorem, but I'm not sure how to do that here since the partial sums of the given series likely do not have a closed form. Another method is telescoping series, though it's unclear whether one can even find such a series in this case.
As a side note, the following link seems to provide useful info about the complex logarithm: https://www.maths.tcd.ie/~dwilkins/Courses/214/214S2_0708.pdf.