import sys;input=sys.stdin.readline
n=int(input())
s=0
d=sorted([int(input())for _ in range(n)])
for i in range(n,0,-1):
s+=max(0,d[i-1]-i+1)
print(s)
aW1wb3J0IHN5cztpbnB1dD1zeXMuc3RkaW4ucmVhZGxpbmUKbj1pbnQoaW5wdXQoKSkKcz0wCmQ9c29ydGVkKFtpbnQoaW5wdXQoKSlmb3IgXyBpbiByYW5nZShuKV0pCmZvciBpIGluIHJhbmdlKG4sMCwtMSk6CglzKz1tYXgoMCxkW2ktMV0taSsxKQpwcmludChzKQ==