Use the positive exponential Brownian martingale
The strong law for Brownian motion, , makes its exponent tend to and hence . If , then . Part (b) gives, for ,
Thus the maximum is exponentially distributed with rate :
There is no atom at zero, by letting in the tail. This is the infinite-horizon crossing probability for Brownian motion with negative drift.
It is enough by Scaling invariance of SLE and reflection in the imaginary axis to treat . Take . The drift
tends to as . Choose and such that for . Before reaches ,
The infinite-horizon crossing probability for Brownian motion with negative drift shows that this process has a finite running maximum almost surely, so
Order preservation for the Loewner flow gives . On , one has while remains positive, so and in particular . Hence
If the trace itself hit the fixed boundary point , then would be the right endpoint of the swallowed interval and for every . Its probability is therefore zero. Scaling and reflection prove that SLE does not hit a fixed nonzero boundary point for every .
By continuity of Brownian motion, the event that the last strict crossing of occurs by time is
Apply part (b) with and interchanged and its time parameter replaced by . This turns the right-hand side into
Part (c), now with drift , barrier , and horizon , gives
This is the distribution function of the last passage time above a level for Brownian motion with negative drift. Taking gives
the probability that the negatively drifted Brownian path never exceeds , consistent with the infinite-horizon crossing probability for Brownian motion with negative drift.