El conjunto formula_125 está acotado superiormente por 0.