No entiendo dos partes de esta prueba.
-
Al principio, utiliza $n \ge M$ y posteriormente utiliza $n \ge M+1$ ¿Hay alguna razón para cambiar la desigualdad débil por la fuerte?
-
Si $|x_n|$ se sustituye por $|x_M|r^{-M}r^n$ ¿no debería ser una fuerte desigualdad?