n = int(input())
alst = list(map(int, input().split()))
ng = set(alst)
ans = 0
for a in alst:
    if a - 1 not in ng:
        ans += a
print(ans)