For all $s>1$, we denote by $P_k(s)$ the subset of $P_k$ formed by vectors $v$ such that $z_v\leq s$. Show that $P_k(s)$ is finite.