# Positive derivative implies increasing

From Calculus

## Statement

### On an open interval

Suppose is a function on an open interval that may be infinite in one or both directions (i..e, is of the form , , or ). Suppose the derivative of exists and is positive everywhere on , i.e., for all . Then, is an increasing function on , i.e.:

## Facts used

## Proof

*Fill this in later*