import sys
input = sys.stdin.readline
from collections import *

N = int(input())
A = list(map(int, input().split()))
ans = 0

for Ai in A:
    if Ai-1 not in A:
        ans += Ai

print(ans)