Quote from DontMissTheBus:
Ooops indeed; I flipped the inequality sign there, which means what I wrote on that line was a typo - but my conclusion is right: the multiplication of a series of a positive numbers less than 1 and greater than 0 converges to 0 in infinity.
Thanks for pointing out the typo - and by seeing that I made a typo on that line, which means you see that each conditional probability is less than 1 and greater than 0, and that each further step in conditional survival probability is less than previous, I've established my proof, no?
No.
Gambler's Ruin:
Let p be the probability of winning one betting unit.
Let q be the probability of losing one betting unit.
p + q = 1
Let P{T|S} be the probability of reaching target bankroll T with starting bankroll S.
P{T|S} = p*P{T|S+1} + q*P{T|S-1}
P{T|0} = 0
P{T|T} = 1
(p + q)*P{T|S} = p*P{T|S+1} + q*P{T|S-1}
P{T|S+1} - P{T|S} = (q/p)*( P{T|S} - P{T|S-1} )
P{T|2} - P{T|1} = (q/p)*( P{T|1} - P{T|0} )
P{T|2} - P{T|1} = (q/p)*P{T|1}
P{T|3} - P{T|2} = (q/p)*( P{T|2} - P{T|1} )
P{T|3} - P{T|2} = (q/p)²*P{T|1}
P{T|4} - P{T|3} = (q/p)*( P{T|3} - P{T|2} )
P{T|4} - P{T|3} = (q/p)³*P{T|1}
P{T|n+1} - P{T|n} = (q/p)ⁿ*P{T|1}
P{T|S} = SUM[ P{T|n+1} - P{T|n} ]_n=0...S-1
P{T|S} = SUM[ (q/p)ⁿ*P{T|1} ]_n=0...S-1
P{T|S} = P{T|1}*SUM[ (q/p)ⁿ ]_n=0...S-1
P{T|S} = P{T|1}*(1 - (q/p)^S)/(1-(q/p))
P{T|T} = P{T|1}*(1 - (q/p)^T)/(1-(q/p))
1 = P{T|1}*(1 - (q/p)^T)/(1-(q/p))
P{T|S} = (1 - (q/p)^S)/(1 - (q/p)^T)
P{infinity|S} = 1 - (q/p)^S if q < p
P{infinity|S} > 0 if q < p
QED