$FRAX
¿0.733 es el mínimo por esta vez o más?