Correction alternative pour la non-convergence de cos(n)

Ici on redémontre que la suite $(cos(n))_{n}$ n'est pas convergente.

Voici la solution proposée par un étudiant. Elle est plus rapide que la mienne et aussi un peu plus élégante. Elle a aussi le bon goût d'être très facile à retenir (pour l'oral ou pour une soirée entre matheux ?).

---