就是若 $x$ 是 nxt[i] 的一个“候选项”，那么小于 $x$ 的最大的“候选项”是 nxt[x]。

这个咋证？反证法怎么做？用人话说就行。