Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2019/iii/paper-201/2/d/solution

Let
Because , one always has : this is clear if no crossing occurs, and at the first crossing the overshoot is at most one increment. Apply the optional stopping theorem to the martingale from part (c):
On the event one has , so . Since everywhere,
Hence

New to topics? Read the docs here!