let a:[Int] = readLine()!.split(separator: " ").map{Int($0)!} var b:[Int] = readLine()!.split(separator: " ").map{Int($0)!} b.sort{$0 < $1} var box:Int = 0 for i in 0 ..< a[1] { if b[box] == 0 { box += 1 if box > a[0] { break } } b[box] -= 1 } box = 0 for i in 0 ..< a[0] { if b[i] == 0 { box += 1 } } print(box)