CF1061B Views Matter

你来到了一个展览会，其中一个展品吸引了你的注意。这个展品由 $n$ 堆积木组成，第 $i$ 堆有 $a_i$ 个积木，所有积木都放在地面上。 展品的高度为 $m$。因此，每一堆的积木数量都不超过 $m$。 天花板上有一个摄像头可以看到积木的俯视图，右侧墙上有一个摄像头可以看到积木的侧视图。  请你求出，在不改变两个摄像头所看到的视图的前提下，最多可以移除多少个积木。 注意，虽然最初所有积木都堆叠在地面上，但移除部分积木后，不要求剩下的积木仍然与地面相连。整个展览中没有重力，即使下面的积木被移除，上面的积木也不会掉下来。同时也不允许用手移动积木。

第一行包含两个整数 $n$ 和 $m$（$1 \le n \le 100\,000$，$1 \le m \le 10^9$），分别表示积木堆的数量和展品的高度。 第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（$1 \le a_i \le m$），表示从左到右每一堆的积木数量。

输出一个整数，表示最多可以移除的积木数量。

下图展示了第一个样例及其一种可能的解法。 蓝色格子表示被移除的积木。共有 $10$ 个蓝色格子，因此答案为 $10$。  由 ChatGPT 4.1 翻译