ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3592 on R5276: Probability to win an I.I.D. exponential race
P3592
This result is a particular case of R3776: Probability to win an exponential race. $\square$