Binary search proving as much as possible.