In the course of the proofs below, we shall use the so-called Doob’s maximal identity, which we briefly recall for the reader’s convenience. If M is a continuous-path nonnegative local martingale on (Ω,F,P) such that P[limt→∞Mt=0]=1 holds, then, wit…