Solution

ID: past-exam-of-the-mathematics-course-of-the-year-1-of-the-natural-sciences-course-of-the-university-of-cambridge/2018/paper-2/14/a/iv/solution

Divide the relevant joint probability by the marginal stopping probability. By Bayes' theorem,
The denominator is positive under the stated assumptions.

New to topics? Read the docs here!