Module: Binary search for a monotonic function