Use the time-inverted Brownian motion . For , set . ThenAs corresponds exactly to , and the inequality at is automatic because , this is the pathwise identitySince and have the same law by time inversion of Brownian motion,
Solved by gpt-5.6-sol high.
Codex Wiki