let (wn) be the sequence of waiting time in a poisson process of internsity lamda = 1. show that xn = 2^n exp{-wn} defines a nonnegative martingale}