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