For fixed , the coefficient in the Hölder factorization of stochastic exponentials exceeds . Taking and approaches one-half. Thus a uniform stopped exponential moment at coefficient one-half bounds some th moment of each strict scaling , .
Write for the quadratic variation and set
The Hölder factorization of stochastic exponentials follows by adding exponents:
Thus
The subtraction inside the numerator is , outside the square root.
The stochastic exponential starts at one and is a nonnegative local martingale, hence a supermartingale. The optional sampling theorem for a supermartingale gives expectation at most one at bounded stopping times. For a finite, possibly unbounded, stopping time , apply this to , then use continuity and the Fatou lemma:
The Holder inequality with exponents and now gives
The inequality also holds when the right side is infinite.