If $f$ onto, then the continuous condition for $f$ is superfluous.
Since $f$ is onto, so is $f^s$.
So from the condition that $f^{s + k} = f^s$, we obtain: $f^k\circ f^s = f^{s + k} = f^s = \text{id}\circ f^s$, since $f^s$ is onto, we can cancel $f^s$ on the right to obtain $f^k = \text{id}$.