Целочисленный двоичный поиск

Целочисленный двоичный поиск - алгоритм поиска аргумента для заданного значения монотонной целочисленной функции.

Формулировка задачи

Пусть нам дана монотонная функция, значения которой целые числа. Нам необходимо найти место, где функция будет равна заданному значению. Файл:Cheme.jpg