Definition D25 Let {pn}\{p_n\}{pn} be a sequence in a metric space that does not converge. It is then said to diverge.