Countability of the preimages of a real valued function

Question

I am not sure how to do the following question:

Let $f$ be a real-valued function defined for every $x$ in the interval $(0,1)$. Suppose there is a positive number $M$ having the following property: for every choice of a finite number of points $x_1, x_2, ... , x_n$ in the interval $(0,1)$, the sum $| f(x_1) + ... + f(x_n) | \leq M$ holds.

Let $S$ be the set of those $x \in (0, 1)$ for which $f(x) \neq 0$. Prove that $S$ is countable.

Answer 1

Hint: $$\{x\mid f(x)\ne 0\} = \bigcup_{n\in\mathbb N_+} \{x\mid |f(x)|>\tfrac1n\}$$ and each of the sets on the right-hand side must be finite.