CDF of a Discrete Real-Valued Random Variable