結果 : the probability function of a random variable is defined as