Consider an arithmetic sequence $a_n$ where $a_1 > 0$ and $d < 0$. Let $S_n$ be the sum of the first $n$ terms. Which condition ensures $S_n$ reaches a maximum at $n=k$?