  On March 16, 2024, Daniel Litt, in an X-post, proposed the following
brainteaser: "Flip a fair coin 100 times. It gives a sequence of heads (H) and
tails (T). For each HH in the sequence of flips, Alice gets a point; for each
HT, Bob does, so e.g. for the sequence THHHT Alice gets 2 points and Bob gets 1
point. Who is most likely to win?" We show the power of symbolic computation,
in particular the (continuous) Almkvist-Zeilberger algorithm, to answer this,
and far more general, questions of this kind.
