exponential inequalities exponential functions