Donde formula_2 es la función parte entera de x.