Изменения

В случае правостороннего поиска изменится знак сравнения при сужении границ на (a[m] <= k), также при выводе найденного индекса, мы сравниваем искомый элемент k с a[l].

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