# (existence of) not Lipschitz function for every bound closed interval in $[0,1]$ with real values

Background: this question was asked in the course "Introduction to topology and metric spaces"

Prove that there exists a continuous function $f\colon[0,1]\to\mathbb R$ such that that for every $0 \leq r < s \leq 1$, $f$ is not Lipschitz on $[s,t]$.

Since the question was not asked in calculus or any kind of analytical course, I'm pretty sure that they don't expect a constructive proof.

Since all continuous functions $f\colon[0,1]\to\mathbb R$ are bound, then it follows that the metric space of these functions (with the supremum metric function) is a complete metric space. So far my main direction was using Cantor's intersection theorem to find the desired function in the intersection of a series of closed sets. The main problem is that the set of all such functions which are not Lipschitz on a specific $[s,t]$ is not a closed set. Another problem would be ordering these sets so that they are well-ordered and contained in one another. Both these problems make me think that even if Cantor's theorem is the right tool, I'm going about it the wrong way.

-

Let $C_{n,k,m}$ be the set of all continuous functions that are m-Lipschitz on $[\frac{k}{n}, \frac{k+1}{n}]$. Each of those are closed, with empty interior for the sup topology (because there are very uniformly small but non lipschitz continuous functions).
Since the set of all continuous functions on $[0,1]$ with the sup topology is complete, it belongs to the Baire category and the countable union $\bigcup_{(n,k,m) \in \mathbb{N}^3 ; k+1 \leq n} C_{n,k,m}$ has empty interior, and therefore there are elements that do not belong to any of the $C_{n,k,m}$, QED.