Первая плохая версия. Решение задачи.

Данная задача решается при помощи бинарного поиска (левого).

Граничным условием является условием сходимости границ проверяемого диапазона. А функция, которая и осуществляет проверку будет руководить сдвигом границ в зависимости от выполнения условия.