Since , it follows that f is increasing at Therefore there is some interval to the right of in which f is positive. Suppose by way of getting a contradiction that f is not positive for all Then (by continuity, intermediate value theorem and suchlike properties) there must be a smallest point at which Thus whenever But since it follows from Rolle's theorem that there is a point with such that Then , contradicting the fact that for all