Solution

ID: past-exam-of-the-year-1-of-the-computer-science-course-of-the-university-of-oxford/2015/discrete-mathematics-continuous-mathematics-and-probability/7/b/i/solution

Let be the absorption time. Its expectation is finite: from every interior state, a string of at most successive left moves reaches , and the probability of such a string is at least . Hence the Markov property gives , a geometric tail bound, and .
For , one step is always spent before absorption or the remaining walk. Apply first-step analysis and the law of total expectation to the three possible first moves. The conditional expectations of the remaining absorption time are , respectively; independence of future moves gives the same law as a fresh random walk from the new position. Thus
which rearranges to
The term also appears when the walk stays at , because staying still consumes a step.

New to topics? Read the docs here!