結果 : probability of a function of a random variable