El conjunto formula_126 está acotado.