calculus - Showing that $Pleft(limlimits_{n to infty}frac{S_n}{n} text{ exists in } mathbb Rright) = 0.$

I want to show the following:

Let $X_1, X_2,\ldots$ i.i.d. random variables on $(\Omega, \mathfrak A, P)$ with infinite expectation. Let $S_n = X_1+\ldots+X_n$. Then

$$P\left(\lim\limits_{n \to \infty}\frac{S_n}{n} \text{ exists in } \mathbb R\right) = 0.$$

Using the second Borel-Cantelli-Lemma, I already showed that

$$P(|X_n| \ge n \text{ infinitely often}) = 1.$$

Now I'd like to show that

$$P\left(\lim\limits_{n \to \infty}\frac{S_n}{n} \text{ exists in } \mathbb R\right) \le P(|X_n| \ge n \text{ at most finitely often}). \tag{1}$$
Here's what I did:

Suppose that there exists $\omega \in \Omega$ s.t. $X_n(\omega) \ge n$ infinitely often and $\frac{S_{n}(\omega)}{n} \to L \in \mathbb R$.

Note that

$$\lim\limits_{n \to \infty}\frac{S_n(\omega)}{n+1} = \lim\limits_{n \to \infty}\frac{n}{n+1}\frac{S_n(\omega)}{n} = L$$

Then

$$\begin{align} \underset{n\to\infty}{\lim\sup} \left| \frac{S_{n+1}(\omega)}{n+1} - L \right| &= \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} + \frac{S_{n}(\omega)}{n} - L \right| \\ &\ge \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} \right| - \left| \frac{S_{n}(\omega)}{n+1} - L \right| \\ &= \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} \right| - \underset{n\to\infty}{\lim\inf}\left| \frac{S_{n}(\omega)}{n+1} - L \right| \tag{2}\\ &= 1-0 = 1, \end{align}$$
which is a contradiction to $\lim\limits_{n \to \infty}\frac{S_{n}(\omega)}{n} = L$. Therefore
$$\left\{\lim\limits_{n \to \infty}\frac{S_n}{n} \text{ exists in } \mathbb R \right\} \subset \left\{ |X_n| \ge n \text{ at most finitely often}\right\},$$
which implies $(1)$ and therefore the claim.

---

Is this correct? I'm mostly unsure about equation $(2)$. Is it always true that the limsup of a difference of two positive sequences is the limsup of the first sequence minus the liminf of the second one?

Thank you for your help!

Answer

As @KaviRamaMurthy correctly pointed out, $(2)$ is incorrect. However, the proof can be fixed since for any real sequences $a_n$ and $b_n$, if $b_n$ is convergent, it holds that

$$\underset{n\to\infty}{\lim\sup}\, (a_n + b_n) = \underset{n\to\infty}{\lim\sup}\, a_n + \lim\limits_{n\to\infty} b_n.$$

So I can write

$$\begin{align} \underset{n\to\infty}{\lim\sup} \left| \frac{S_{n+1}(\omega)}{n+1} - L \right| &= \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} + \frac{S_{n}(\omega)}{n} - L \right| \\ &\ge \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} \right| - \left| \frac{S_{n}(\omega)}{n+1} - L \right| \\ &= \underset{n\to\infty}{\lim\sup} \left| \frac{X_{n+1}(\omega)}{n+1} \right| - \lim\limits_{n\to\infty}\left| \frac{S_{n}(\omega)}{n+1} - L \right| \tag{2´}\\ &= 1-0 = 1, \end{align}$$