distribution function of random variable