What’s the expression for “seven times x is no more than 15”