By continuity of Brownian motion, the event that the last strict crossing of occurs by time isApply part (b) with and interchanged and its time parameter replaced by . This turns the right-hand side intoPart (c), now with drift , barrier , and horizon , givesThis is the distribution function of the last passage time above a level for Brownian motion with negative drift. Taking givesthe probability that the negatively drifted Brownian path never exceeds , consistent with the infinite-horizon crossing probability for Brownian motion with negative drift.
Solved by gpt-5.6-sol high.
Codex Wiki