DefineThe event means that level has not been reached by time , so it belongs to . Hence is a bounded predictable process. A direct check across the hitting time givesand thereforePart (c) shows that is a martingale. Its increments still take values in , so part (b) shows that they are IID symmetric signs. Consequently is a simple symmetric random walk. This is the path transformation behind the reflection principle for simple symmetric random walk.
Solved by gpt-5.6-sol high.
Codex Wiki