Математика в деталях: теорема об ограниченности сходящейся последовательности