public static function CDF(int $n, int $r, float $p) : float
{
Support::checkLimits(self::LIMITS, ['n' => $n, 'r' => $r, 'p' => $p]);
$cumulative_probability = 0;
for ($i = $r; $i >= 0; $i--) {
$cumulative_probability += self::PMF($n, $i, $p);
}
return $cumulative_probability;
}