Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Suppose {$X_n$} a sequence of random variables. If $\sum_{n=1}^{\infty}P(|X_n|>n)<{\infty}$

Prove that $$\limsup_{n\to\infty}\frac{ |X_n|}{n} \le1 $$ almost surely

What i have done so far:

I thought using the Borel-Cantelli lemma could lead me somewhere, but i didn't have any luck.

From Borel-Cantelli lemma we know that if $\sum_{n=1}^{\infty}P(|X_n|>n)<{\infty}$ then $P(|X_n|>n)=0$

How could I proceed? I would appreciate any help, advice. Thank you all very much in advance for your time and concern.

share|cite|improve this question
Hint: Borel-Cantelli lemma shows that $\Bbb{P}(|X_{n}| > n \text{ i.o.}) = 0$. – Sangchul Lee Jul 7 '13 at 13:14
Crossposted: – cardinal Jul 7 '13 at 15:24
@cardinal so what? i can not post my question in two different sections? – johan paul Jul 7 '13 at 15:33
@johan: See this meta.SO answer. This is the quasi official policy on this topic. Cheers. – cardinal Jul 7 '13 at 15:36
@johan: It's ok. I just wanted you to be aware of the prevailing "policy". I generally believe it's good to have the content in one location since one objective is the site is to provide a long-term repository of questions and answers. (+1 to your question, in particular for supplying your initial thoughts on the problem. Cheers.) – cardinal Jul 7 '13 at 15:43

1 Answer 1

By Borel Cantelli lemma we have that $$ P( \liminf_{n \to \infty} \{ |X_n| \leq n \}) = P( \{|X_n| \leq n \text{ eventually } \} )= 1$$ In words this means than almost surely, the sequence $|X_n|$ is below $n$ for all $n$ sufficently large. I think you can take it from here.

share|cite|improve this answer
Thank you very much. May I ask you something more? How can we pass from the probability to the limit suprermum of the inequality? – johan paul Jul 7 '13 at 13:29
If $|X_n|$ can't surpass $n$ for $n$, then what happens to $\frac{|X_n|}{n}$?. Also remember that the limsup of a sequence is its largest acummulation point. – Bunder Jul 7 '13 at 13:42
but this equality is true only if the events are independent, which in my case are not. Am I right? – johan paul Jul 7 '13 at 14:50
We used the "original" Borel Cantelli which does not need independence of the events. The converse (i.e $\sum P(\ldots) = \infty \Rightarrow P( \ldots i.o) = 1$) requires independence. Check – Bunder Jul 7 '13 at 15:01

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.