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. print(d)
  6. for i in range(n,0,-1):
  7. s+=max(0,d[i-1]-i+1)
  8. print(s)
Success #stdin #stdout 0.03s 9180KB
stdin
5
1
1
1
1
2
stdout
[1, 1, 1, 1, 2]
1