the cumulative distribution function of random variable x is