Статья В. М. Гуровица про бинарный поиск