n + n / 2 + n / 4 + n / 8 ... = n * (1/1 + 1/2 + 1/4 + 1/8 + ...)
сумма 1/1 + 1/2 + 1/4 + 1/8 + ... представляет собой геометрический ряд , который сходится к 2 , поэтому результат равен 2n.
.Автор говорит о коллекции массивов с размерами n, n / 2, n / 4, ..., и он выполняет бинарный поиск в каждом из них.Бинарный поиск в массиве с n элементами занимает O (log n) время, поэтому общее требуемое время равно O (log n + log n / 2 + log n/ 4 + ...) .