is: a function for which for all
always exists: over an interval, if its derivative is positive at all points of the interval. [M4.4]
Copyright 1997, The Open University
for which 
for all 
for which for all
is positive at all points of the interval. [M4.4]
