The cumulative probability of a random variable at
is
where
is the distribution function. For a continuous
random variable with probability
density function
,
while for a discrete random variable it is the sum of the probabilities
of all values not exceeding .