Write . For , . For , conditioning on the first step and using the Markov property gives . This establishes the required equations for the hitting probability.
To prove the hitting probability is the minimal nonnegative harmonic extension, let . Then and
If is any nonnegative solution of the same boundary equations, . Positivity of the transition probabilities implies by induction for every . The events increase to , so and . Therefore is the minimal nonnegative solution.
For the tournament won by two consecutive victories, a transient pair , with and third player , moves with equal probabilities to the absorbing state or the transient pair . Thus the two transient cycles are
with probability of absorption at each step. A full cycle without absorption has probability , so absorption occurs almost surely.
Starting from , the successive absorption winners are , with first-cycle probabilities . Summing the geometric repetitions gives
Starting from , the order is , giving .
Because the first game is between and , the initial ordered pair of winners is , each with probability . Combining the immediate wins with the transient hitting probabilities,
Their sum is one, consistent with almost-sure absorption.