link

本题解给出了使用 Doob 停时定理的严谨过程（WYXkk 给的是一个类似的过程），似乎题解区和网络上没有对这个的过程，只是给出“可以严格化”。