理由：题解区只有一篇题解给出了对于 $p_{p_i}=i$ 的较为完整的证明，但感觉还是略有不足。

link

其实是因为想了整整半天