Soit $N$ un entier naturel non nul.
Comme $\vert \sin x \vert \leq 1$ pour tout réel $x\comma$ il vient la minoration suivante :
En considérant le nombre complexe $z = \cos 2 + i \sin 2$ et la démarche vue dans un autre article, vous aboutissez au fait que la série $\sum_{n\geq 1} \frac{\cos 2n }{n}$ est convergente.
Pour en savoir davantage, allez lire le contenu rédigé dans l'article 207.
Donc il existe un nombre réel $M$ tel que, pour tout $N\in\N^{*}\comma$ $\sum_{n=1}^{N} \frac{\cos 2n }{n} \leq M.$
Vous déduisez la minoration suivante :
Comme $\lim_{N\to +\infty} \sum_{n=1}^{N} \frac{1}{n} = +\infty\comma$ il vient par comparaison $\lim_{N\to +\infty} \sum_{n=1}^{N} \frac{\vert \sin n \vert }{n} = +\infty.$
La série $\sum_{n\geq 1}\frac{\sin n}{n}$ n’est pas absolument convergente.
