CF387B George and Round

George 决定举办一场 Codesecrof 比赛，因此他为比赛准备了 $m$ 道题目。我们用整数 $1$ 到 $m$ 给这些题目编号。George 用整数 $b_{i}$ 来评估第 $i$ 道题目的难度。 为了让比赛“好”，他需要至少放进 $n$ 道题目。此外，他需要至少一道题目的难度恰好为 $a_{1}$，至少一道题目的难度恰好为 $a_{2}$，……，至少一道题目的难度恰好为 $a_{n}$。当然，比赛中也可以包含其它难度的题目。 George 想象力有限。对他来说，把已经准备好的题目调简单，比自己出新题简单多了。George 非常擅长简化题目，他可以把任意一道难度为 $c$ 的已准备题目，简化成任意正整数 $d$（$c\geq d$），只需要调整输入数据的限制即可。 然而事情没那么简单。George 发现即使将部分题目简化，可能仍无法满足“好比赛”的要求。因此他想知道，为了获得一场好比赛，除了已经准备的 $m$ 道题目外，他至少还需要额外出多少道题目。请注意，George 出的新题难度可以是任意值。

第一行包含两个整数 $n$ 和 $m$（$1 \leq n, m \leq 3000$），分别表示好比赛所需的最少题数和 George 已经准备的题数。第二行包含用空格分隔的 $a_{1}, a_{2}, \ldots, a_{n}$（$1 \leq a_{1}

输出一个整数，表示最少还需要额外准备的新题目数量。

在第一个样例中，已准备的题目集合已经满足好比赛的要求。 在第二个样例中，只需额外准备两道新题，难度分别为 $2$ 和 $3$，即可成为好比赛。 在第三个样例中，如果额外准备难度为 $2,3,4$ 的新题，就很容易满足好比赛的要求。 由 ChatGPT 5 翻译