Wykazać seo: Niech będzie dany ciąg (a_n)_n∊ℕ taki że lim_n→∞ a_n=+∞. Wykazać, że pewien wyraz tego ciągu jest równy kresowi dolnemu zbioru jego wyrazów.