Let , where and are independent Poisson processes of rate . This symmetric Poisson difference process is centered, has jumps , and has variance rate . If are positive integers, then exactly. Optional sampling of the martingale gives
Consequently
Part (d) now gives the mean exit time
Solved by gpt-5.6-sol high.