fork 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.03s 9280KB
stdin
3
3
2
3
stdout
5