#include <bits/stdc++.h>
using namespace std;
const int maxn = 1e6 + 10;
int a[maxn];
bool mark[maxn];
bool marv[maxn];
int g[maxn];
int main() {
  ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  int n;
  int m;
  cin >> n;
  cin >> m;
  for (int i = 0; i < n; i++) {
    cin >> a[i];
  }
  sort(a, a + n);
  for (int i = 0; i < n; i++) {
    g[i] = a[i];
  }
  long long int res = 0;
  int p = a[n - 1];
  for (int i = n - 1; i >= 0; i--) {
    if (i == 0) {
      g[0] -= p;
      p = 0;
    } else if (a[i] == a[i - 1]) {
      g[i]--;
      p--;
    } else if (p > a[i - 1]) {
      g[i] -= (p - a[i - 1]);
      p = a[i - 1];
    } else {
      g[i]--;
      p--;
    }
    if (p == 0) {
      break;
    }
  }
  for (int i = 0; i < n; i++) {
    if (g[i] != a[i]) {
      res += g[i];
    } else {
      res += a[i] - 1;
    }
  }
  cout << res;
  return 0;
}
