Let be a differentiable function such that forall . Does it follow that is necessarily constant?
Since forall it follows that forall . Let and suppose that . Since is dense there will exist a sequence of rational numbers that it converges to . Thus:
contradicting what we had assumed in the first place. Hence is constant.