Изменения
→Код
В случае правостороннего поиска изменится знак сравнения при сужении границ на (<tex>a[m] <= k</tex>).
Инвариант цикла: пусть левый индекс меньше или равен искомого элемента, а правый — только больше. Когда , тогда если <tex>l = r - 1</tex>, то понятно, что <tex>l</tex> — самое правое вхождение, так как следующее уже больше.
== Источники ==
