为简洁起见,定义α(x,u):=δ(x,u)+mY(x,u)mS(x,u)和γ(x,u):=mY(x,u)- α(x,u)·mS(x,u)S(x,u)。注意δ(x,u)∈OOY公司*(x,u),OOY公司*(x,u)<=> α(x,u)∈最大值mY(x,u)- y*· S(x,u)mS(x,u),y*,最小值(mY(x,u)- y*· S(x,u)mS(x,u),y*)!y*, y*,(A.10)和α(x,u)∈mY(x,u)- y*· S(x,u)mS(x,u),mY(x,u)- y*· S(x,u)mS(x,u)!<=> γ(x,u)∈y*, y*.(A.11)该证明的策略包括确定候选随机变量Y*,Y*,U,▄V通过其联合累积分布函数FY*,Y*,~U、~V、Z、x,然后检查等式(15)、(16)和(17)是否满足。I fix(y、y、U、V、Z、x)∈ 兰德公司财务报表*,Y*,~U、~V、Z、Xin十二个步骤:步骤1。对于x/∈ X,FY*,Y*,U、~V、Z、X(y、y、U、V、Z、X)=FY*,Y*,U、 V,Z,X(y,y,U,V,Z,X)。第2步。从现在开始,考虑x∈ 十、自年月日起*,Y*,~U,~V,Z,X(y,y,U,V,Z,X)=F ~y*,Y*,U、~V、Z | X(y、y、U、V、Z | X)·FX(X),它有助于定义F | y*,Y*,U、~V、Z | X(y、y、U、V、Z | X)。此外,我认为⊥⊥Y*,Y*,U,▄VXby写入FY*,Y*,~U,~V,Z | X(y,y,U,V,Z | X)=Fy*,Y*,~U,~V | X(y,y,U,V | X)·FZ | X(z | X),表示有足够的能力定义F | y*,Y*,U,| V | X(y,y,U,V | X)。第3步。对于u/∈ [0,1],定义为*,Y*,~U,~V | X(y,y,U,V | X)=FY*,Y*,U、 V | X(y,y,U,V | X)。第4步。从现在开始,考虑你∈ [0, 1]. 自年月日起*,Y*,U,▄V | X(y,y,U,V | X)=F▄y*,Y*,V | X,U(y,y,V | X,U)·F | U | X(U | X),需要定义Fy*,Y*,V | X、~U(y,y,V | X,U)和F | U | X(U | X)。第5步。I定义FU | X(U | X)=FU | X(U | X)=U。步骤6。对于任何u 6=u,定义FY*,Y*,V | X,~U(y,y,V | X,U)=FY*,Y*,V | X,U(y,y,V | X,U)。第7步。对于任何v/∈ [0,1],定义为*,Y*,V | X,~U(y,y,V | X,U)=FY*,Y*,V | X,U(y,y,V | X,U)。第8步。从现在开始,考虑v∈ [0, 1].