A sequence x (i.e. a function x mapping N to a metric space S) is said to diverge if for every positive real number M, |x(n)| < M for only finitely many natural numbers n. Any unbounded sequence clearly diverges.