para x positiva, menor que formula_6.