f=open('CHAIN.INP','r')
f1=open('CHAIN.out','w')
n=int(f.readline())
a=list(map(int, f.readline().split()))
a.sort()
a1=a
def cut(v):
if v==1:
return 1
else:
return v-1
res=n
t=0
c=0
for i in a:
t+=cut(i)
res-=i+1
if res==0: break
t+=1
f1.write(str(t))
f.close()
f1.close()