For which minimal $k$ true is that ${4}^{k}\cdot n\leq \displaystyle\sum^{n}_{i=1}{a}_{i}^{k}\leq {5}^{k}\cdot n$, ${a}_{i}\in {1,2,3,4,5,6}$?

Question

I've got the following inequality, which bounds Minkowski distance.
${4}^{k}\cdot n\leq \displaystyle\sum^{n}_{i=1}{a}_{i}^{k}\leq {5}^{k}\cdot n$
and values of ${a}_{i}\in {1,2,3,4,5,6}$
We know all values of ${a}_{i}$, the question is for which (minimal) integer $k$ above equation is satisfied ? Any necessary or sufficient conditions except obvious one that not for all $i$, $5\leq {a}_{i}$ ?