Es el redondeo inferior de la fracción formula_11.