• 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

  1. Decompose to be conditional on since the summation depends on
  2. Since it is conditional on , and we need to find the expectation, we can expand it out.
  3. 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,