Binary Search for the point where the termination condition becomes true