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

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