fork(1) 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 9196KB
stdin
5
1
1
1
1
2
stdout
1