monotonicity, exponential function, inequality