Let be a differentiable function such that forall . Does it follow that is necessarily constant?

**Solution**

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.