exponential distribution expected value proof - Search