“…(B.11)Proof of Lemma B.7 For all z ∈ (0, 1] almost surelyB L,τ (zY ) ≤ B L,τ (Y ) ≤ B L,τ (z −1 Y ). (B.12)Further since Y is quadrant stochastically continuous, then from[45][Thm 2.1, Rem 2.2,iii)] M L (Y ) > 1/z implies B L,τ (zY ) > 0 almost surely for all z > 0. Hence since also P{B L,τ (Y ) > 0} = 1 as shown in(5.8), for all z ∈ (0, 1] by (4.7), (B.12) and the Fubini-Tonelli theoremE 1 B L,τ (Y ) I(B L,τ (Y ) < ∞, M L (Y ) = ∞) ≤ E B L,τ (zY ) B L,τ (Y )B(zY ) I(B(Y ) < ∞, M L (Y ) > 1/z) = T E Y (0) τ B L,τ (Y )B L,τ (zY ) I(zM L (Y ) > 1, z Y (t) > 1) λ(dt) = z α T E Y (−t) τ B L,τ (z −1 Y )B L,τ (Y ) I( Y (−t) > z) λ(dt) = z α E I(B L,τ (z −1 Y ) < ∞) B L,τ (z −1 Y )B L,τ (Y ) T Y (0) τ I( Y (−t) > z)λ(dt) = z α E I(B L,τ (z −1 Y ) < ∞)B L,τ (z −1 Y ) B(z −1 Y )B(Y ) ≤ z α E 1 B L,τ (Y ) < ∞,where the last inequality follows from (4.10).…”