El algoritmo va obteniendo sucesivamente en cada paso un intervalo más pequeño ["a", "b"] que sigue incluyendo una raíz de la función "f".