Idea

Find directly using the distribution of without first having to find the distribution of

Theorem

If is a discrete r.v. and is a function from to , then

where the sum is taken over all possible values of .

This means that we can get the expected value of knowing only , the PMF of ; we don't need to know the PMF of .

Proof

Recall the proof in expectation, we have