Como formula_4 está acotada al ser "[a,b]" un compacto y "f" una función continua aplicada sobre un compacto, podemos asegurar que existe un supremo finito llamado "M".