Let $H$ be a multiplicatively written monoid with identity $1_H$. An atom of $H$ is an element $x \in H \setminus H^\times$ such that $a \ne xy$ for all $x, y \in H \setminus H^\times$, where $H^\times$ is the group of units of $H$. Accordingly, we define $\mathsf L_H(1_H) := \{0\} \subseteq \mathbf N$ and, for $x \in H \setminus \{1_H\}$, we take ${\sf L}_H(x)$ to be the set of all $k \in \mathbf N^+$ such that $x = a_1 \cdots a_k$ for some atoms $a_1, \ldots, a_k \in H$.

It follows by Proposition 1 in Question #269229 and Fekete's lemma that the function $$ \ell_H: H \to [0,\infty]: x \mapsto \lim_{n \to \infty} \frac{|\mathsf L_H(x^n)|}{n} $$ is well defined, insomuch as the limit in the above exists, and is either a non-negative real number or $\infty$. My question is as follows:

Q. Let $H$ be the multiplicative monoid of the ring of integers of a number field. Is it true that $\ell_H(H)$ is a compact subset of $\mathbf R$ (with the usual topology)?

It is perhaps worth noting that, under the assumptions of this question, $\ell_H(H)$ is a bounded subset of $\mathbf R$ (this is not for free), so the real point is whether or not $\ell_H(H)$ is closed.