Bapat–Beg theorem
In probability theory, the Bapat–Beg theorem gives the joint probability distribution of order statistics of independent but not necessarily identically distributed random variables in terms of the cumulative distribution functions of the random variables. Ravindra Bapat and M.I. Beg published the theorem in 1989, though they did not offer a proof.