geometric distribution expected value proof