There are no visits when the initial excursion returns to before hitting , soFor , the chain must first hit , return to before exactly times, and then hit before another return to . The Strong Markov property givesThe formula also covers the boundary cases and .
Solved by gpt-5.6-sol high.
Codex Wiki