Доказательство сходимости последовательности с помощью критерия Коши можно разделить на три части:                                                                          ru.wikipedia.org                      
  - Доказательство ограниченности последовательности.                                                                          ru.wikipedia.org                                                                                               ru.ruwiki.ru                       Для этого её разбивают на бесконечный ограниченный «хвост» и конечный набор начальных точек, который тоже ограничен в силу своей конечности.                                                                          berdov.com                      
  - Выделение сходящейся подпоследовательности.                                                                          ru.wikipedia.org                                                                                               ru.ruwiki.ru                       Это происходит с помощью теоремы Больцано-Вейерштрасса.                                                                          ru.wikipedia.org                                                                                               ru.ruwiki.ru                       
  - Доказательство того, что предел этой подпоследовательности является пределом всей последовательности.                                                                          ru.wikipedia.org                                                                                               ru.ruwiki.ru                       
  
 Критерий Коши гласит, что числовая последовательность сходится тогда и только тогда, когда она фундаментальная: если последовательность фундаментальная, то у неё есть предел, и наоборот: если у последовательности есть предел, то она точно фундаментальная.                                                                          berdov.com