2
$\begingroup$

I am currently tasked with proving an alternative definition of the expected value function.

Considering X to be a random variable that takes all positive integers, I have to prove that $E[X]=\sum\limits_{i=1}^{\infty} P[X\ge i]$.

So far I've gotten to the fact that $P[X\ge i] = \sum\limits_{j=i}^{\infty} P[X=j]$ however I just have no idea where to go from here. I have no idea how that relates to expected value in any way.

I'm most certainly not looking for the answer, but a friendly nudge in the right direction would be extremely helpful.

  • 0
    This post itself could have served as a "mother post" to duplicates. The current choice of [mother post](https://math.stackexchange.com/questions/843845) has the same number of duplicate-links and and more other links. Please see the meta post on [(abstract) duplicates](https://math.meta.stackexchange.com/a/29382/356647).2018-11-13

1 Answers 1

6

Let $p_i = P[X=i]$. You know that $E[X]=\sum_{i=1}^\infty ip_i$ and that $P[X\ge i] = \sum_{j=i}^\infty p_j,$ so you want to show that $\sum_{i=1}^\infty ip_i = \sum_{i=1}^\infty \sum_{j=i}^\infty p_j\;.$ Try reversing the order of summation in the double summation.