Для 1 числа будет проведено не более (2 * log 2 n + 1) округленных (то есть 7,6 => 7) сравнений.
Когда мы приземляемся на какое-то число в массиве, сначала мы проверяем, ищем ли мы это.
(== первое сравнение).
После этого мы проверяем, меньше ли оно (или больше) (второе сравнение).
Чтобы найти число, мы должны обработать не более log 2 n чисел.
И мы должны сделать последнее сравнение с последним номером, чтобы убедиться, что это тот номер.
Таким образом, поиск 16 в [1..16] потребует 2 * log 2 16 + 1 = 9 сравнений (при условии, что мы попадем на эти числа: 8, 12, 14, 15, 16) , И поиск 10 в [1..10] займет 2 * log 2 10 + 1 = 7,6 => 7 (при условии, что мы приземлимся на эти числа: 5, 8, 9, 10).
Таким образом, для n чисел будет не более n раз больше.