#include <bits/stdc++.h>
using namespace std;
long long int modpow(long long int a, long long int n, long long int temp) {
  long long int res = 1, y = a;
  while (n > 0) {
    if (n & 1) res = (res * y) % temp;
    y = (y * y) % temp;
    n /= 2;
  }
  return res % temp;
}
long long int arr[1000006];
int main() {
  long long int n, i, ans = 0, val;
  scanf("%lld", &n);
  for (i = 0; i < n; ++i) {
    scanf("%lld", &val);
    arr[val]++;
  }
  for (i = 0; i < 1000006; ++i) {
    if (arr[i] > 1) {
      ans += arr[i] - 1;
      arr[i + 1] += arr[i] - 1;
    }
  }
  printf("%lld\n", ans);
  return 0;
}
