Изменения

В случае правостороннего поиска изменится знак сравнения при сужении границ на (<tex>a[m] \leqslant k</tex>).

Инвариант цикла: пусть левый индекс меньше или равен не больше искомого элемента, а правый {{---}} строго больше, тогда если <tex>l = r - 1</tex>, то понятно, что <tex>l</tex> {{---}} самое правое вхождение (так как следующее уже больше).

== Источники информации == *Д. Кнут - Искусство программирования (Том 3, 2-е издание) ==Ссылки==* [http://ru.wikipedia.org/wiki/%D0%94%D0%B2%D0%BE%D0%B8%D1%87%D0%BD%D1%8B%D0%B9_%D0%BF%D0%BE%D0%B8%D1%81%D0%BA Википедия - двоичный поиск] * [http://habrahabr.ru/post/146228/| Интересная статья про типичные ошибки]