Oscillation of a bounded centered iid random walk ($\mathrm{liminf}{S}_n=-\infty ,\mathrm{limsup}{S}_n=+\infty$)

Let $S_n={\sum }_{j=1}^n{X}_j$, where the increments are nonconstant independent and identically distributed random variables with zero expected value and $|X_j|\le c$. Then the random walk oscillates between arbitrarily large positive and negative levels almost surely. For $T_a=\inf \{n:S_n\ge a\}$, the stopped martingale $a+c-S_{n\wedge T_a}$ is nonnegative. The martingale convergence theorem implies that $S_n$ converges finitely on $\{T_a=\infty \}$. However, some $\delta >0$ has $\mathbb{P}(|X_1|>\delta )>0$, and the Borel-Cantelli lemmas imply $|X_n|>\delta$ infinitely often. Hence finite convergence is impossible. Apply this to every positive integer $a$ and to $-S_n$.

The bounded increments also imply infinitely many visits to $[-c/2,c/2]$: a path cannot cross from above $c/2$ to below $-c/2$ without entering this interval. Identical distribution cannot simply be dropped. For independent symmetric signs ${\epsilon }_j$, the increments $X_j=c{4}^{-(j-1)}{\epsilon }_j$ satisfy $|S_n|\ge 2c/3$ for every $n$, even though they are nonzero, independent, symmetric and uniformly bounded.