Book problem: Annie and Bill each have a die, which they throw alternately. Bill scores if he throws a multiple of two, and Annie scores if she throws a multiple of three. The winner is the first person to score. Show that the game is fair if Annie rolls first.
My answer: I think the game would be fair if they each had the same probability of winning. But Annie wins on an odd number of rolls if she goes first and Bill wins on an even number of rolls is Annie goes first.
Suppose Annie goes first and wins on the $k$th roll so that $k$ is odd. Then both Annie and Bill need to lose $(k - 1)/2$ times and then Annie needs to win. Since Annie wins with a 3 or 6 and Bill with a 2, 4, or 6 we have that the probability of Annie winning is
$$ \left(\frac{4}{6}\right)^{\frac{k-1}{2}}\left(\frac{3}{6}\right)^{\frac{k-1}{2}}\left(\frac{2}{6}\right) $$
Similarly Bill wins when $k$ is even with probability
$$ \left(\frac{4}{6}\right)^{\frac{k}{2}}\left(\frac{3}{6}\right)^{\frac{k}{2}} $$
Now notice that when $k = 1$ Annie wins with probability 1/3. Likewise, Bill wins with probability 1/3 when $k = 2$. When $k = 3$ or $k = 4$ we get that they both win with the same probability of 1/9. And so on.
Hence the game is fair.
Question: Is my reasoning correct?
Book: "Calculus: The Analysis of Functions" by Taylor
We need to sum up all the "infinite many turns", not just consider any single turn.
The Annie probability would be ${1\over 3} + {2\over 3}(1-{1\over 2}){1\over3}+{2\over 3}^2(1-{1\over 2})^2{1\over3}+{2\over 3}^3(1-{1\over 2})^3{1\over3}+...$ which is a geometric series which sums up to ${1\over 3}({1\over1-{2\over 3}(1-{1\over 2})})={1\over 2}$. Therefore Annie has exactly $1\over 2$ chance of winning overall and the game is fair.