The renewal-reward form of Kac's lemma says that the expected number of visits to state during one return cycle from to isHere time spent means the number of discrete time instants at which the chain occupies between consecutive visits to .
Solved by gpt-5.6-sol high.
Codex Wiki