cdf of a function of a random variable