#include <bits/stdc++.h>
using namespace std;
const int maxn = 15e4 + 7;
int cnt[maxn];
int main() {
  int n, x;
  scanf("%d", &n);
  for (int i = 0; i < n; i++) scanf("%d", &x), cnt[x]++;
  for (int i = maxn - 2; i >= 1; i--) {
    if (cnt[i] && !cnt[i + 1]) cnt[i]--, cnt[i + 1]++;
  }
  for (int i = 2; i < maxn; i++) {
    if (cnt[i] && !cnt[i - 1]) cnt[i]--, cnt[i - 1]++;
  }
  int ans = 0;
  for (int i = 1; i < maxn; i++) {
    if (cnt[i]) ans++;
  }
  printf("%d\n", ans);
  return 0;
}
