A random walk $X$ is a sequence of elements of the set $\{-1, 0, 1\}$ and $X_i$ denotes the $i^{th}$ element of $X$. Consider the set $C_n$ of all random walks of length $n$ and the set $C_\infty = \lim_{n \rightarrow \infty} C_n$ ($|C_\infty| = 2^{\aleph_0}$).
Now define the statement $S(X,k) = \exists (1 \le j \le |X|) \forall (j \le h \le |X| )|\sum_{m=1}^h X_m| \ge k$
Also consider the following potentially useful function $S\#(X,k) = \left\{ \begin{array}{lr} 1 & : & S(X,k)\\ 0 & : & \neg S(X,k) \end{array} \right.$
Now obviously over random walks of a fixed length, $S$ will be true more often for $k$ near $0$. I am wanting to ask about this process asymptotically as the random walks increase in length. I know that random walks of infinite length are recurrent, however there do exist walks $X$ s.t. $|X| = \aleph_0$ and $S(X,k) = True$ (e.g. $S(\{1, 1, 1, 1, 1, ...\}, 3)$).
How are the cardinalities $|\{X : X \in C_\infty \wedge S(X,k)\}|$ distributed across non-negative integer values of $k$? Are the cardinalities $2^{\aleph_0}$ when $k=0$ and $\aleph_0$ otherwise?