# Does there exist a nowhere differentiable, everywhere continous, monotone somewhere function?

Is there a nowhere differentiable but continuous everywhere function which is monotone in some small interval however small it is?

Until now I have seen only the Weierstrass function and it seems to be oscillating everywhere.

• No. Monotone on an interval implies differentiable almost everywhere on that interval. – Julien Godawatta Mar 20 '14 at 16:28
• @JulienGodawatta can you please post a proof of the result – happymath Mar 20 '14 at 16:31
• @DanielFischer thank you I have not yet studied differentiation in the lebesgue context so is there some intuitive way to see it – happymath Mar 20 '14 at 16:38
• I expect there is a more elementary argument for monotonic functions, but I don't see it at the moment, sorry. – Daniel Fischer Mar 20 '14 at 16:47
• For those interested, Rubel's 1963 paper Differentiability of monotonic functions is possibly the most elementary (in the sense of mathematical machinery used) proof I've seen. (No vitali covering theorem, for instance.) Also, Riesz/Nagy's book Functional Analysis may have a simple proof for the case when the monotone function is continuous, which is enough for the issue being discussed here, but my copy is at home and I'm elsewhere. – Dave L. Renfro Mar 20 '14 at 17:13

It is well known that if $f : [a; b] \to R$ is increasing, then f is differentiable a.e., and $\int_a^bf^{'}(x)dx \le f(b)-f(a)$(see, for example,