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