For signs , repeated use of the tower property of conditional expectation givesHence the increments are IID symmetric signs, proving the symmetric signs forced by the martingale property result. Thus is a simple symmetric random walk.
Solved by gpt-5.6-sol high.
Codex Wiki