Какие условия должны выполняться, чтобы функция была корректной PMF для дискретной random variable X?

PMF задаёт P(X=x) для дискретных значений, поэтому каждая вероятность должна быть >=0. Кроме того, сумма P(X=x) по всем возможным x должна равняться 1, иначе модель не описывает полный набор исходов. Это базовый sanity-check при чтении табличных распределений. Для непрерывных моделей аналогичная идея выражается через площадь под PDF, но это другой случай.