Multivariate random variable

Joint cumulative distribution function

The joint cumulative distribution function of a multivariate random variable is #m/def/prob

In order to find the cumulative distribution function of a single component of , called its marginal cumulative distribution function, one takes the limit of all other components

#state/tidy | #lang/en | #SemBr