Un algoritmo de aproximación tiene una "garantía de comportamiento absoluto" o "error acotado" "ε", si se ha demostrado que