higher bound for the

function in interval search

algorithm at✕