#include<stdio.h>
int main()
{
	int n;
	scanf("%d", &n);
	int i;
	int a[102];
	for (i = 0; i < n; i++)
		scanf("%d", &a[i]);
	int cnt[102];
	for (i = 0; i < 102; i++)
		cnt[i] = 0;
	for (i = 0; i < n; i++)
		cnt[a[i]]++;
	int ans = 0;
	for (i = 1; i < 102; i++)
		if (cnt[i - 1] == 0)
			ans += i * cnt[i];
	printf("%d\n", ans);
	return 0;
}