Conditioning on and using the moment-generating function of a unit exponential variable,where the geometric series converges precisely when . This is the moment-generating function of an exponential variable of rate , so the geometric sum of exponential variables satisfies
Solved by gpt-5.6-sol high.
Codex Wiki