Discrete Random Variable Cumulative Distribution Function