因此,根据(A.18),引理A.4和命题4.2,存在常数k>0,使得Cm,≤k+对数+(dP/dP)适用于所有m∈ N.根据假设4.1和法图斯莱玛(Fatou’slemma的反面版本),可以得出lim supm→∞嗯,≤ EPC∞,. 另一方面,自从limm→∞δm=∞,尽管如此,k∈ N因此,lim infm→∞嗯,≥ lim infm→∞-k log EP经验(-厘米/(k)=风险分担博弈中的均衡45-k log EP经验(-C∞,/(k), 最后一个等式来自于支配收敛定理-厘米≤ δ适用于所有m∈ N也被使用。发送k→ ∞,lim infm→∞嗯,≥ 林克→∞-k log EP经验(-C∞,/(k)= EPC∞,跟随。结合逆不等式,我们得到了thatlimm→∞嗯,= EPC∞,= 情商∞,1+C∞,δC∞,= (1/δ)VarQ∞,C∞,.从林姆开始→∞嗯,*= 0,林→∞嗯,- 嗯,*= (1/δ)VarQ∞,C∞,跟随。为了获得代理人1的限制损失,首先要注意的是,对Pon双方的预期∞,+δlog(1+C)∞,/δ) =z∞,+C∞,*, 我们得到EPC∞,+δEP[log(dP/dQ∞,)] = Z∞,,其中1+C∞,/δ=dP/dQ∞,被使用了。回忆EPC∞,= (1/δ)VarQ∞,(C)∞,),我们得到了z的等式∞,= (1/δ)VarQ∞,(C)∞,) + δH(P | Q∞,). 特别是自从z∞,∈R+,这意味着VarQ∞,(C)∞,) < ∞ 和H(P | Q∞,) < ∞. 还记得limm吗→∞zm,= Z∞,在定理4.4的证明中得到,从(3.9)中,zm,= λm(um,*- 嗯,) -嗯,*- 嗯,= λm嗯,*- 嗯,- λm嗯,*- 嗯,.从林姆开始→∞λm=1,limm→∞λm=0和limm→∞嗯,*- 嗯,= (1/δ)VarQ∞,(C)∞,) < ∞,林姆→∞嗯,*- 嗯,= 林姆→∞zm,= Z∞,= (1/δ)VarQ∞,(C)∞,) + δH(P | Q∞,)下面是证据的结论。A.11。定理4.7的证明。在假设4.6下,δmlog(dPm/dQm,*) ~ λξ- λξ保持所有m∈ N因此,Cm,*= λξ- λξ- EQm,*[λξ- λξ]适用于所有m∈ N