有一个变量 $F$，初始化为 $0$。现有一个序列 $a$，遍历 $a$，若 $F < a_i$，则 $F \gets F + 1$；若 $F = a_i$，则 $F$ 不变；若 $F > a_i$，则 $F \gets F - 1$。

现在你要支持对这个 $a$ 动态插入一个数，并且求出 $a$ 任意重排 之后进行这样的操作的所得的 $F$ 的最大值。

初始时 $a$ 序列是空的，每次插入后立刻回答 $F$ 可能的最大值。

有一个变量 $F$，初始化为 $0$。现有一个序列 $a$，遍历 $a$，若 $F < a_i$，则 $F \gets F + 1$；若 $F = a_i$，则 $F$ 不变；若 $F > a_i$，则 $F \gets F - 1$。

现在你要支持对这个 $a$ 动态插入一个数，并且求出 $a$ **任意重排** 之后进行这样的操作的所得的 $F$ 的最大值。

初始时 $a$ 序列是空的，每次插入后立刻回答 $F$ 可能的最大值。