formula_3 representa la función de parte entera de redondeo.