I once saw the notation $O(x) \to 0$ or $o(x) \to 0$ for $x\to 0$ but I don't really know why that makes sense since $O(x)$ is more like a class of functions. So I would interpret this as "if $f(x) = O(x)$, then $f(x) \to 0$ for $x\to 0$". Does this always hold? Can I conclude from $$\lim_{x\to 0}\frac{f(x)}{x} = 0 \implies \lim_{x \to 0}f(x) = 0$$ ?
EDIT: I was referring to the first answer of this post.