并没有保证 $1 \le a_i \le n$。