- Let be independent, identically, distributed RVs.
- Let be a discrete RV independent of that takes a value in . It is also pairwise independent to .
- is called a random sum
Expectation of
- Decompose to be conditional on since the summation depends on
- Since it is conditional on , and we need to find the expectation, we can expand it out.
- Independence of to .
Variance of
Denote and
Upon expansion, we get three terms:
which is . If we suppose is the summation, then as and there are iid RVs. Then, we apply the definition of variance.
which is since the left term of is .
is our final term. So,
In summary,