There is a fair 6-sided die and a biased coin that has probability p > 0
of coming up heads on each toss. The die gets rolled in finitely often, and whenever
we roll a 6, we then toss the coin. Prove that with probability 1, we toss "heads" in finitely
often.
