An amusing sequence of functions

Stefan Steinerberger

We consider the amusing sequence of functions $f_n:\mathbb{R}\to \mathbb{R}$ given by $$f_n(x)=\sum _{k=1}^n\frac{|\sin (k\pi x)|}{k}.$$ Every rational point is even…