What’s the mathematical expression for “ three times x no less than 9”