Proof of expected value of geometric random variable