팁의 금액이 적은 손님은 뒤에서 처리해 주어도 음수가 아니라 0원이 되기 때문에
단순히 내림차순 정렬을 한 후 결괏값 += 팁 - (순서+1) 해서 출력하였다
import sys
input = sys.stdin.readline
n = int(input())
tips = [int(input()) for _ in range(n)]
tips.sort(reverse=True)
answer = 0
for i in range(n):
answer += tips[i] - i if tips[i] - i >= 0 else 0
print(answer)