n=int(input())
A=list(map(int,input().split()))

memo=set(A)
ans=0
for a in A:
    if a-1 in memo:
        continue
    ans+=a
print(ans)