 Conditional Brownian interval-exit time

The exit time conditioned on leaving through the upper endpoint satisfiesOptional stopping of the cubic martingale $B_t^3-3t{B}_t$, together with the lower moments of the interval exit, gives the formula.