此外,在不丧失普遍性的情况下,我们可以并将假定存在一些ε∈ (0,1]使得H>ε。(b)另一方面,我们将看到G(H(ω),ω)≤G(H(ω),ω)对P-a.e.ω成立∈ Ohm, 矛盾的(6.6)。首先,fix一个任意的n∈ N.如本证明第(ii)部分所述,可以构造一些ζN∈ Ξd(H)使得,对于P-a.e.ω∈ Ohm,EP[V(H(·)+Hζn(·),Y(·)i,·)|G](ω)≥ G(H(ω),ω)-n、 (6.7)接下来,每米设置一次∈ N(回想一下H>ε),fmn(ω),VH(ω)-εm+H(ω)- ε/mH(ω)hζn(ω),Y(ω)i,ω, ω ∈ Ohm,连续性(见假设4.3)使{fmn;m∈ N} 将a.s.收敛到V(H(·)+HζN(·),Y(·)i,·)为m→ +∞. 因此,法头引理给出了一个很小的infm→+∞EPh[fmn]+Gi≥ EPV+(H(·)+Hζn(·),Y(·)i,·)Ga、 其次,我们注意到∈ N、 随机向量ζN(H)- ε/m)/Hbelongs至Ξd(H)- ε/m),因为-εm+H- ε/mHζn,Y=H- ε/mH(H+Hζn,yi)≥ 0 a.s.(回想H>ε和ζn∈ Ξd(H))。因此,假设4。5.事实上∈ N、 不平等[fmn]-≤ 五、-(0,·)是真的,我们可以将limsup-Fatou引理应用于o-bta-inlim-supm→+∞EPh[fmn]-Gi≤ EP五、-(H(·)+Hζn(·),Y(·)i,·)Ga、 美国将这两种不平等结合起来→+∞EP【fmn | G】≥ EP[V(H(·)+Hζn(·)、Y(·)i、·)|G]a.s.和fr om(6.7)我们得到了→+∞EP[fmn | G]≥ G(H(·),·)-娜娜。s、 (6.8)此外,每米∈ N我们有一个∈Ξd(H)-ε/m)EPhVH(·)-εm+hξ(·),Y(·)i·Gi≥ EP[fmn | G]a.s.和solim infm→+∞ess supξ∈Ξd(H)-ε/m)EPhVH(·)-εm+hξ(·),Y(·)i·Gi≥ lim infm→+∞EP[fmn | G]a.s.第21页/离散时间正实轴上的非凹效用最大化另一方面,让m∈ N不要武断,但要固定。然后我们通过后退的步骤知道∈Ξd(H)-ε/m)EPhVH(·)-εm+hξ(·),Y(·)i·Gi(ω)=GH(ω)-εm,ω对于P-null集合外的每一个ω。使用(6.8),我们得到了LIM infm→+∞GH(·)-εm·≥ G(H(·),·)-娜娜。s