(x1,x2,x3,x4)0≤x1≤x2≤x3≤x4≤1x1≤x2
Pr[3x1≥x2+x3]=1−Pr[3x1<x2+x3]=1−Pr[x1≤min(x2,x2+x33)].
Ce dernier événement se divise en deux événements disjoints selon lequel de et est le plus grand:x2(x2+x3)/2
Pr[x1≤min(x2,x2+x33)]=Pr[x2≤x32,x1≤x2]+Pr[x32≤x2≤x3,x1≤x2+x33].
Parce que la distribution conjointe est uniforme sur l'ensemble , avec la densité ,0≤x1≤x2≤x3≤x4≤14!dx4dx3dx2dx1
Pr[x2≤x32,x1≤x2]=4!∫10dx4∫x40dx3∫x3/20dx2∫x20dx1=14
et
Pr[x32≤x2≤x3,x1≤x2+x33]=4!∫10dx4∫x40dx3∫x3x3/2dx2∫(x2+x3)/20dx1=712.
(Chaque intégrale est simple à utiliser comme intégrale itérée; seules les intégrations polynomiales sont impliquées.)
La probabilité souhaitée est donc égale à = .1−(1/4+7/12)1/6
Éditer
Une solution plus intelligente (qui simplifie le travail) dérive de la reconnaissance que lorsque a des distributions exponentielles iid, , puis (en écrivant ) , les sommes partielles échelonnéesyj1≤j≤n+1y1+y2+⋯+yn+1=Y
xi=∑j=1iyj/Y,
1≤i≤n , sont distribués comme les statistiques d'ordre uniforme. Parce que est presque sûrement positif, il s'ensuit facilement que pour tout ,Y n≥3
Pr[3x1≥x2+x3]=Pr[3y1Y≥y1+y2Y+y1+y2+y3Y]=Pr[3y1≥(y1+y2)+(y1+y2+y3)]=Pr[y1≥2y2+y3]=∫∞0exp(−y3)∫∞0exp(−y2)∫∞2y2+y3exp(−y1)dy1dy2dy3=∫∞0exp(−y3)∫∞0exp(−y2)[exp(−2y2−y3)]dy2dy3=∫∞0exp(−2y3)dy3∫∞0exp(−3y2)dy2=1213=16.