然后限制asn→ ∞ ofPi≥1[M′(τni-1,0)+P′(τi-1,0)sgn(Zτni)(Zτni)存在并由zt[M′(s,0)+P′(s,0)sgn给出([Z,Z]s(71)现在取第二个极限,注意limn→∞十一≥1[(M′(τni,0)+P′(τni,0)sgn(Zτni)-(M′(τni)-1,0)+P′(τni-1,0)sgn(Zτni)](Zτi)≤ 画→∞十一≥12K(Zτni)≤ 2K[Z,Z]t<∞ (72)式中K=sups∈[0,t]|M′(s,0)+P′(τni,0)sgn(Zτni)|。然后很容易检查第二个极限是否由xs<0给出≤t[(M′(s,0)+P′(s,0)sgn(Zs)- Zs-))-(M′s-, 0)+P′s-, 0)sgn(Zs)- Zs-))](Zs)- Zs-)(73)由于JZ是有限的,因此第三极限也收敛于Tox∈JZ[M′(s,0)+P′(s,0)sgn(Zs)- Zs-)](Zs)- Zs-)(74)假设M′(t,y)和P′(t,y)在t和y上由Land一致有界,并且它们的和由常数L限定。因此,在定理a.3 inC,etin等人(2004)的证明之后,最后一个极限满足以下不等式limn→∞|X | Zτni-Zτni-1|≤[oM(τni,Zτni)+oP(τni,Zτni)sgn(Zτni)]Zτni|≤ 林→∞sup | Zτni-Zτni-1|≤| Zτni- Zτni-1 | X | Zτni-Zτni-1|≤(Zτni)≤ L[Z,Z]t(75)量是任意的,因此最后的极限收敛为零→ 0.这就是limn→∞圆周率≥1[W(τni,Zτni)- W(τni,0)]Zτniconverges toX0<s≤t[(M(s,Zs)- Zs-) +P(s,Zs)- Zs-)sgn(Zs)- Zs-))-(M(s,0)+P(s,0)sgn(Zs)- Zs-))](Zs)- Zs-)+Zt[M′(s,0)+P′(s,0)sgn(Zs)]d[Z,Z]s+Xs<0≤t[(M′(s,0)+P(′s,0)sgn(Zs)- Zs-))-(M′s-, 0)+P′s-, 0)sgn(Zs)- Zs-))](Zs)- Zs-)-X0<s≤t[M′(s,0)+P(′s,0)sgn(Zs)- Zs-)](Zs)- Zs-)=Zt[M′(s,0)+P′(s,0)sgn(Zs)]d[Z,Z]cs+X0<s≤t[(M(s,Zs)- Zs-) +P(s,Zs)- Zs-)sgn(Zs)- Zs-))-(M(s,0)+P(s,0)sgn(Zs)- Zs-))](Zs)- Zs-) (76)as→ 0.注意,等式(63)收敛到一个有限的非负量,因为通过假设M(t,y)+P(t,y)sgn(y)在y中不减少,且Zare fine的跳跃次数不变。接下来就是这个等式。(76)是一个有限的数量。我们可以用c\'agl\'ad过程做同样的事情。