Problem 664 (difficulty: 10/10)
Does there exists a monotone \(\displaystyle \R\to\R\) function which is not differentiable at any point?