Cdf of discrete random variable