monotonicity, difference, psi function, remainder, inequality