(7.12)将(7.11-7.12)代入(7.10)后,该不等式读数为asZTuYt- ε| ut |- λut-σYt+σ(1)- γ) Yt(1+q(Yt)(1)- Yt)dt≤ZTβ - q(Yt)(Yt(1)- 钇(u)- Ytσ)+ut+ε| ut | Yt+λYtut)-σYt(1)- Yt)q(Yt)dt。因此,仍需验证的是,尽管美国∈ R和y∈ [0,1]:uy- ε| u |- λu-σy+1- γσy(1+q(y)(1)- y) )≤ β - q(y)(y(1)- y) (u)- yσ)+u+ε| u | y+λyu)-σy(1)- y) q(y)。(7.13)重新安排(7.13),必须检查∈ R和y∈ [0, 1]:0 ≥ -β+uy-γσy+y(1)- y) (u)- γσy)q+σy(1)- y) (q+(1)- γ) q)- λu- ε| u |+(u+ε| u | y+λyu)q.(7.14)最大化-λu- ε| u |+(u+ε| u | y+λyu)q除以u表明在| u(y)处达到的最大值=2λq(y)1-yq(y)- ε, ifq(y)1-yq(y)≥ ε、 0,如果- ε ≤q(y)1-yq(y)≤ ε,2λq(y)1-yq(y)+ε, ifq(y)1-yq(y)≤ -ε.鉴于(7.4),~u(y)=2λq(y)1-yq(y)- ε, 如果∈ [0,y-),0,如果y∈ [y]-, y+],2λq(y)1-yq(y)+ε, 如果∈ (y+,1)。现在,在用ODE(3.1)代替q并使用^u的最大值之后,不等式(7.14)就出现了。显然,这个不等式从引理7.6变成了策略^u的等式。[0,1]上的条件q(y)y<1保证临界点确实是一个最大值。为了完成定理3.1的证明,我们现在验证如下:→ ∞, 对于任何容许策略,Emma 7.7的上界收敛于β,对于^u,上界由引理7.6得到。定理3.1的证明。让β和q定义为引理7.2,让u是任意可容许策略。通过引理7.5,我们得到了∈ [0,1]对于所有t.由于引理7.2,q在[0,1]上有界,函数q(ξ)=Rξq(z)dz也在[0,1]上有界。因此,对于每一个可接受的策略,wehavelimT→∞(1 - γ) Tlog E^Pu[E-(1-γ) (问(是的)-Q(y))]=0。作为T→ ∞, 因此引理7.7为当量安全率提供了一个与策略无关的上界:ESRγ(u)=limT→∞(1 - γ) Tlog E[(XuT)1-γ] ≤ β.这个上界是从引理7.6得到的容许策略^u的。