Consider the real-valued function . Note that is continuous on

Since for , we have that on . When , also. Now we consider . Note that . Clearly this quantity is positive for all . But that means that is increasing on for all . Thus, we have that for all . But that means that for all . Adding to both sides of this inequality, we obtain for all , as desired.

QED