Let . The walk exits the finite interval almost surely, and the stopped martingale is bounded between and . The optional stopping theorem and bounded convergence theorem give
Solving for the first probability gives the biased gambler's ruin probability