Let $S_k(n) = \sum_{i=1}^n i^k$. For which of the following positive integers $k$ is it NOT guaranteed that $S_k(n)$ is divisible by $S_1(n)$ for all $n \ge 1$?