If the urn contains green balls, it contains red balls: both update rules preserve the difference . Until absorption at , the green count is therefore a birth-death chain withThe functionis harmonic, since
Let and be the hitting times of and . The optional sampling theorem for a supermartingale, applied to the bounded stopped martingale , givesSolving,Letting , the events on the left increase to eventual termination. The harmonic hitting probability for the balanced-difference urn is therefore
Solved by gpt-5.6-sol high.
Codex Wiki