(5) SinceRu1-ufT(t)dt>0对于安育>,我们有P(max(T,1- T) 6 u)/PISA和termA的符号相同≡Ru1-ufT(t)lnt1-tdtRu1-ufT(t)dt-ψpγ- ψ1.- pγ=Ru1/2[fT(t)- 英尺(1- t) ]lnt1-tdtRu1/2[fT(t)+fT(1- t) ]dt-ψpγ- ψ1.- pγ.接下来,区分A和u的收益率A.u=英尺(u)+英尺(1)- u) Ru1/2[fT(t)+fT(1- t) ]dt(英尺(u)- 英尺(1- u) 英尺(u)+英尺(1)- u) lnu1- U-Zu1/2fT(t)- 英尺(1- t) 英尺(t)+英尺(1)- t) lnt1- t·fT(t)+fT(1)- t) Ru1/2[fT(v)+fT(1- v) [dvdt)=英尺(u)+英尺(1)- u) Ru1/2[fT(t)+fT(1- t) ]dt(g(u)-Zu1/2g(t)·英尺(t)+英尺(1)- t) Ru1/2[fT(v)+fT(1- v) [dvdt),(6)其中函数g(t)≡英尺(t)- 英尺(1-t) 英尺(t)+英尺(1)-t) lnt1-t、 因为-t在增加, 1.,英尺(t)- 英尺(1- t) 英尺(t)+英尺(1)- t) =tpγ-1(1 - t) 一,-pγ-1.- (1 - t) pγ-1t1-pγ-1tpγ-1(1 - t) 一,-pγ-1+ (1 - t) pγ-1t1-pγ-1= 1 -1 +t1-T2p-1γ在增加;G(t)sincelnt1也是如此-这是在增加, 1.还有。请注意,(6)中的积分项是G(t)值在区间ui上的加权平均值。因此,对于任何u>,g(u)>Zu1/2g(t)·fT(t)+fT(1- t) Ru1/2[fT(v)+fT(1- v) [dvdt由于g(·)的单调性,然后A/u<0。最后,当u=1时,A=RfT(t)lnt1-tdtRfT(t)dt-ψpγ- ψ1.- pγ= ElnT1- T-ψpγ- ψ1.- pγ= 0.将此和A/u<0,对于任何<u<1和anyp>,我们都有一个<0。这证明了(3)并完成了证明。A.2提议的证明。为了简单起见,我们在证明中省略了索引。我们首先展示这一点~px严格来说,px在下降。这个结果也由(5)表示:当nu=1,P(max(T,1- T) 6)=1表示anyp,因此(5)的左侧为零;这意味着(5)右侧的括号项必须为零sinceRfT(t)dt/γ=1/γ>0。