n,m=gets.split.map(&:to_i)
c=gets.split.map(&:to_i).sort
e=0
m.times{|i|c.shift+(e+=1) if (c[0]-=1)==0 }
puts e