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