Positive derivative implies strictly increasing

If f' is positive everywhere on an interval, f is strictly increasing
Positive derivative implies strictly increasing

Let f:[a,b]Rf:[a,b]\to\mathbb{R} be on [a,b][a,b] and on (a,b)(a,b).

Corollary: If f(x)>0f'(x)>0 for all x(a,b)x\in(a,b), then ff is strictly on [a,b][a,b].

Connection to parent theorem: Apply the to any x<yx<y in [a,b][a,b] to get f(y)f(x)=f(c)(yx)f(y)-f(x)=f'(c)(y-x) for some c(x,y)c\in(x,y). Since f(c)>0f'(c)>0 and yx>0y-x>0, one has f(y)>f(x)f(y)>f(x).