All Questions

Playing with desmos I have accidentally noticed that the sequence of partial sums $$\left\{ \sum_{n=1}^{N}\sin(\sin(n)) : N\geq 1 \right\}$$ is bounded. However, I did not succeed in proving this ...

This was asked but never answered at MSE. Let $f(x) = \sin(a_1x) + \sin(a_2x) + \cdots + \sin(a_nx)$, where the $a_i$'s represent distinct positive integers. Suppose also that $f(x)$ satisfies the ...