expected value proof for geometric distribution