# Positive derivative at a point not implies increasing around the point

## Contents

## Statement

It is possible to have a continuous function (in fact, even a differentiable function) and a point such that is positive, but there is no such that is an increasing function on .

## Related facts

- Derivative of differentiable function need not be continuous is the base example that this builds on.
- First derivative test and one-sided derivative test are incomparable uses similarly structured examples.
- Positive derivative implies increasing

## Facts used

## Proof

### Example involving sine of reciprocal function

#### Continuity and derivative at zero (equals 1/2)

The limit at zero is:

We break this up:

The first limit goes to zero by continuity. The second limit works out to zero because and is bounded.

We therefore get a limit of zero, proving continuity.

The derivative at zero is:

We can cancel giving:

The 1/2 can be pulled out:

We have and is bounded, so the limit expression goes to zero.

We therefore get a derivative at 0 with value (1/2).

#### Derivative around zero

For , the derivative can be calculated formally by differentiating the expression for . We get:

The portion of the expression approaches zero as , but oscillates in arbitrarily close to zero. Therefore, takes all values in for x</math> arbitrarily close to zero (note that we can't (easily) close the interval because of the complicating effect of ).

#### Implications for increasing/decreasing

In particular, this means that takes negative values for arbitrarily close to 0. Moreover, since it's continuous everywhere except zero, it takes negative values over subintervals inside any open interval about 0. On these subintervals, therefore, since negative derivative implies decreasing, is decreasing. And therefore, cannot be increasing on the whole interval.

#### Thinking to motivate this example

If were continuous at , then must be positive in some open interval around . On that open interval, positive derivative implies increasing would force to be increasing.

Therefore, any counterexample *must* have not continuous at . We therefore use the example function for derivative of differentiable function need not be continuous as our starting point. The problem with this function (for our purposes) is that the derivative at the point of interest is zero. To get a positive derivative, we add the simplest function with constant positive derivative: a scalar multiple function.

The next question is: what scalar multiple to use? If we chose a coefficient (i.e., slope) greater than 1, then, even though the derivative is not continuous, we will still end up getting that the derivative is positive everywhere (because the variation to the derivative is bounded by 1). Even a slope of 1 gets us to nonnegative derivative everywhere. We really need a slope between 0 and 1 to allow the derivative to fluctuate sign arbitrarily close to zero. That's how to get our example.