$M=1$ 部分已经明白，从 $0 \sim M$ 的期望步数是 $M^2$ 已经明白。

是如何从 $M=1$ 推广到 $M$ 的？