A function $f:[0,2] \to \mathbb R $ is given in this way :
$f(x)=\inf\{|x-\frac{1}{n}|:n \in \mathbb Z^+\}$
How can one find all the points where $f$ has derivation on them?
Note : I know that existence of the derivation is equivalent to the existence of a limit. But that's not an algorithm. I can't just put every single point of $[0,2]$ in the formula and calculate that limit. What should i do ?