Eine Folge ( x n ) n ∈ N {\displaystyle {}{\left(x_{n}\right)}_{n\in \mathbb {N} }} in R {\displaystyle {}\mathbb {R} } heißt bestimmt divergent gegen − ∞ {\displaystyle {}-\infty } , wenn es zu jedem s ∈ R {\displaystyle {}s\in \mathbb {R} } ein N ∈ N {\displaystyle {}N\in \mathbb {N} } mit
gibt.