Cumulative distribution function

Survival function

The survival function of a real random variable is defined by #m/def/prob

It may be thought of as “the probability of survival beyond time ” when the random variable represents a time.

#state/develop | #lang/en | #SemBr