Esto debe cumplirse cuando formula_3 sea menor formula_2.