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.