Let and defineThe probabilities sum to . For , the incoming probability isusing a telescoping sum. Similarly,Thus is a stationary distribution. Every state can reach in one step, and can reach every lower positive state in one step, so the chain is irreducible. The self-loop at has probability , hence the chain is aperiodic. The convergence theorem for a finite irreducible aperiodic Markov chain now givesFor , the conclusion follows directly from the single absorbing/refilled state.
This is the limiting law of the uniform depletion and refill Markov chain.