El resto verifica la inecuación formula_3 .