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(1,n+1):
  7. s+=max(0,d.pop()-i+1)
  8. print(s)
Success #stdin #stdout 0.02s 9188KB
stdin
5
1
1
1
1
2
stdout
[1, 1, 1, 1, 2]
2