n = int(input())
A = list(map(int, input().split()))
from collections import Counter
C = Counter(A)
ans = 0
for a in A:
    if C[a-1] == 0:
        ans += a
print(ans)