formula_3 -el entero igual o inmediatamente superior a formula_4.