现有翻译漏了条件 $a_i \le n$，容易让人误以为真的做法复杂度假了。