https://www.acmicpc.net/problem/1758
주어진 식에서 최대 값이 나오려면 ㅁ-ㅁ에서 첫번째 ㅁ가 커야한다.
그럴려면 내림차순으로 정렬 후 주어진 식에 맞게하면 된다.
n=int(input())
tip=[]
for i in range(n):
tip.append(int(input()))
tip.sort(reverse=True)
result=0
for i in range(n):
temp=tip[i]-i
if temp<0:
temp=0
result+=temp
print(result)