Студия «Lodka Gaming» занимается рекламой своей новой игры «.C.O.N.T.E.S.T: Unexpected Behaviour». Маркетолог студии планирует последовательно пообщаться с n видеоблогерами (в заданном порядке, начиная с 1-го и заканчивая n-м), предложив им записать видеообзор на игру. Все люди разные, и видеоблогеры — тоже, поэтому i-й видеоблогер будет записывать обзор в двух случаях: либо если ему интересна игра, либо если на нее уже записано не менее ai видеообзоров.
Студия хочет, чтобы в сети появилось не менее m видеообзоров. Геймдизайнер «Lodka Gaming» понимает, что, возможно, сами собой эти видеообзоры не появятся, поэтому он хочет убедить некоторых видеоблогеров, что им на самом деле интересна эта игра. Какое минимальное количество видеоблогеров нужно убедить?
В первой строке даны два целых числа n и m (1 ≤ n ≤ 200000, 1 ≤ m ≤ n) — количество видеоблогеров и требуемое количество видеообзоров.
Во второй строке даны n целых чисел ai (0 ≤ ai ≤ 200000) — минимальное количество видеобзоров, которые должны появиться в сети, чтобы i-й видеоблогер записал обзор в случае, если ему неинтересна игра.
Выведите единственное число — минимальное количество видеоблогеров, которых придётся убедить записать обзор на игру, чтобы в сети появилось не менее m обзоров.
7 4
2 1 3 3 4 2 3
1
7 4
2 1 3 3 4 3 2
2
| Название |
|---|


