Let $\left\{ X_{n}\right\} _{n\geq1}$ be a sequence of IID random-variables s.t $\mathbb{E}\left[X_{i}\right]=0$ and $\left|X_{i}\right|\leq K$ . Let $S_{n}=\sum_{i=1}^{n}X_{i}$ , I want to show $S_{n}$ visits the interval $\left[-K,K\right]$ an infinite amount of times w.p $1$. Obviously it would suffice to show that $S_{n}$ visits $0$ infinitely w.p $1$. I would really love a hint about how to approach this question. This is kind of similar of a random-walk but it's not defined just on the integers and we don't know the transition probabilities so I'm a bit lost.
Proof Attempt
If $S_{n}\equiv0$ then we are obviously done so assume that is not the case. We now start by showing $S_{n}$ must change signs with probability one. Suppose by contradiction that it does not, then wlog $\mathbb{P}\left(S_{n}>0\ \text{for all }n\right)=1$ and so $\mathbb{P}\left(\frac{1}{n}S_{n}>0\ \text{for all }n\right)$ and thus $\mathbb{P}\left(\lim\frac{1}{n}S_{n}>0\right)=1$.But by the SLLN we know that $\mathbb{P}\left(\lim\frac{1}{n}S_{n}=\mathbb{E}\left[X_{1}\right]=0\right)=1$ in contradiction. So with probability $1$ there exists $1<N\in\mathbb{N}$ such that $S_{N}<0$ and $S_{N+1}>0$. Note that If $S_{N}<-K$ then $S_{N+1}=S_{N}+X_{N+1}\leq S_{N}+K<0$ in contradiction. Thus $S_{N}\in\left[-K,K\right]$ and also $S_{N+1}\in\left[-K,K\right]$. This shows that $S_{n}$ visits $\left[-K,K\right]$ with probability $1$. Let $T=\min\left\{ n>1\ |\ S_{n}\in\left[-K,K\right]\right\}$ , we have shown that $\mathbb{P}\left(T<\infty\right)=1$ and so by the strong Markov property the sequence $X_{T+1},X_{T+2},...$ is IID with the same joint distribution as $X_{1},X_{2},...$ and so $S_{n}^{'}=\sum_{k=1}^{n}S_{T+k}$ has the same distribution as $S_{n}$ , thus $S_{n}^{'}$ visits $\left[-K,K\right]$ with probability $1$. This can be applied repeatedly after each visit in order to conclude that $S_{n}$ visits $\left[-K,K\right]$ infinitely many times with probability $1$.
I would appreciate if someone could check this for correctness.