fork(2) download
  1. import sys;input=sys.stdin.readline
  2. n=int(input())
  3. s=0
  4. d=sorted([int(input())for _ in range(n)])
  5. for i in range(n,0,-1):
  6. s+=max(0,d[i-1]-i+1)
  7. print(s)
Success #stdin #stdout 0.02s 9340KB
stdin
5
7
8
6
9
10
stdout
30