Conditioning on Past Coin Flips
A fair coin is flipped repeatedly, and denotes the number of heads among the first flips. Compute .
Work it out, then compare with the answer.
Answer
SolutionShow the worked solution
Write , where counts the heads among flips , , . These three flips are independent of the first six, so independently of . Hence
Key idea. Increments over disjoint blocks of flips are independent, so conditioning on leaves a fresh count for the remaining flips.