Continuous Nowhere Monotonic FunctionProof of the existence of a continuous function f:[0,1]->|R
that is neither increasing nor decreasing on any subinterval of [0,1]
(uses the Baire Category Theorem).