0.4 + 0.4x > 9