\displaystyle \forall x_i, i\in\{1,\dots,k\}, x_i<m, m\in \mathbb{N}