Discrete Random Variable Mean Derivation