On nowhere monotone functions
Clifford E. Weil · Proceedings of the American Mathematical Society · 1976
The existence of everywhere differentiable but nowhere monotone functions is established using the Baire Category Theorem, and the relatively easy fact that there are nontrivial bounded derivatives with a dense set of zeros.