Оптимален ли двоичный поиск в худшем случае?

Является ли двоичный поиск оптимальным в худшем случае? Мой преподаватель сказал, что да, но я не смог найти книгу, в которой это подтверждается. Мы начинаем с упорядоченного массива, и в худшем случае (худшем случае для данного алгоритма) любой алгоритм всегда будет требовать больше парных сравнений, чем двоичный поиск.

Многие отметили, что вопрос был неясным. Извините! Итак, входными данными является любой общий отсортированный массив. Я ищу доказательство, которое говорит, что любой алгоритм поиска займет не менее log2(N) сравнений в худшем случае (худший случай для рассматриваемого алгоритма).