Изменения

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