import sys
input = sys.stdin.readline
N = int(input())
a = list(map(int, input().split()))
res = 0
for x in a:
  if x - 1 in a: continue
  res += x
print(res)