Инвариант цикла_двоичного поиска.pdf