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