Let be the expected hitting time of state . For , first-step analysis givesWith this becomesThe minimal nonnegative solution hasso
Equivalently, Kac's lemma gives . A first step from either returns immediately with probability or moves to with probability , soSubstituting gives the same result.
Solved by gpt-5.6-sol high.
Codex Wiki