Expectation of Discrete Random Variable/Lemma