Por lo tanto, se pueden utilizar algunos resultados estándar del análisis para deducirlo, pero se podría argumentar que ocultan cómo simple esta pregunta es una vez que se tiene el punto de vista correcto.
Si hay infinitos términos de la secuencia en $[-M,M]$ entonces es bastante obvio que hay infinitos en cualquiera de los dos $[-M,0]$ o $[0,M]$ . Digamos que es $[0,M]$ WLOG; entonces continuando hay infinitos en cualquiera de los dos $[0,M/2]$ o $[M/2,M]$ y así sucesivamente. Esto define una secuencia anidada infinita de intervalos que convergerán a algún número (la intersección de todos los intervalos), y este número es el límite de una subsecuencia convergente del $x_i$ (tomar un término de cada intervalo). Así que esto muestra la primera parte, y la segunda parte ahora sigue fácilmente :)