Module: Busca binária por uma função monotônica