Suppose f(x) and gx are functions such that f(x) >= gx for all x in R. If gx is increasing on the entire domain then so must f(x).