cumulative distribution function
A cumulative distribution function is a probability distribution which returns the probability that the random variable will take a value of at most the argument of the function.
Formally,
a random variable has a cumulative distribution function such that
i.e. is the probability that will take a value of at most .
A continuous distribution function must satisfy
- is strictly increasing
For a discrete random variable with probability mass function , the cumulative distribution function is given by
For a continuous random variable with probability density function , the cumulative distribution function is given by
When is a continuous random variable, for any particular ; therefore, the probabilities of open and closed intervals are identical. Thus,