public static function CDF(int $k, float $p) : float { Support::checkLimits(self::LIMITS, ['p' => $p]); if ($k < 0) { return 0; } if ($k < 1) { return 1 - $p; } return 1; }