import sys

n = int(input())
lst = list(map(int,sys.stdin.read().split()))
lst.sort()
h = 0 
for i in range(n):
    #每次拿小紫也会拿，第0次小紫拿0个，以此类推每一堆会在相应回合少i个
    h+=lst[-1]-i if lst[-1]>i else 0
    lst.pop()

print(h)