n, m = gets.chomp.split(" ").map(&:to_i)
c_ary = gets.chomp.split(" ").map(&:to_i)

count = 0
m.times do |i|
  min_index = c_ary.index(c_ary.min)
  c_ary[min_index] -= 1
  if c_ary[min_index] == 0
    c_ary.delete_at(min_index)
    count += 1
  end
end
puts count