Caracterización de sucesiones no convergentes

Esta es una caracterización de sucesiones no convergentes a través de subsucesiones.