离散型随机变量的概率质量函数（Probability Mass Function，简称PMF）描述了随机变量取到每个可能值的概率。推导离散型随机变量的概率质量函数通常基于随机变量的定义和实验或观测数据的统计。以下是推导离散型随机变量概率质量