順序統計量の同時密度関数の証明がわからん
多項分布を使うらしいけど誰かおしえてくれ