因此,将极小极大定理(参见Terkelsen[40]中的推论1])应用于紧凸集M-~u和(fN)N∈N、 我们已经≥0supP∈M-~uEP[G∨ (-N)- NλP]=supP∈M-~uinfN≥0EP[G∨ (-N)-NλP]。定义GP:Ohm → [-∞, ∞) 由GP=G对P和-∞ 在别处注意,gp是G的逐点极限∨ (-N)- NλPas N→ ∞. 然后通过法图引理,补充∈M-~uinfN≥0EP[G∨ (-N)- NλP]≤ 晚餐∈M-~uEP[GP]=支持∈M-~u,PEP[G]。因此我们有VXc,P,P(G)≤ PXc,P,P(G),它与备注2.3一起引导我们得出vxc,P,P(G)=PXc,P,P(G)。6.6定理4.5的证明。给定一个半静态超级复制策略(X,) 根据定义,我们有X(s,…,sn)+n-1Xi=0i(s,…,si)(si+1)- si)≥ G(s,…,sn),(s,…,sn)∈ P.(6.13)我们从以下索赔开始:如果(X,) 是G对P的静态超复制策略J≥ βj对于任何i=0,N- 1.我们用归纳法证明这项索赔。当j=n时-1、我们-1:=(s,…,sn)-1). 出租∈ P(~sn)-1,n):={x:(s,…,sn-1,x)∈ P} 具体来说,从(6.13)可以看出N-1(s,…,sn)-1) ≥ lim supx→∞, 十、∈P(~sn)-1,n)G(s,…,sn-1,x)x.这个,连同N-1.≥ 0,收益率N-1(s,…,sn)-1) ≥ lim supx→∞nG(s,…,sn)-1,x)xP(s,…,序列号-1,x)o∨ 0=βn-1(s,…,sn)-1).现在假设j=i+1和i的说法成立≤ N-2.修复~sn-1:=(s,…,si,si+2,…,sn)并表示P(~sn)-1,i+1):={x:(s,…,si,x,si+2,…,sn)∈ P} 。如果P(~sn)-1,i+1)是无界的,然后取x∈ P(~sn)-1,i+1)到完整性,(6.13)意味着i(s,…,si)≥ lim supx→∞, 十、∈P(~sn)-1,i+1)i+1(s,…,si,x)+G(s,…,si,x,si+2,…,sn)x.如果右侧为非负,则为LIM supx→∞, 十、∈P(~sn)-1,i+1)i+1(s,…,si,x)+G(s,…,si,x,si+2,…,sn)x= lim supx→∞i+1(s,…,si,x)+G(s,…,si,x,si+2,…,sn)xP(s,…,si,x,si+2。