다중 저지 풀이

Makes는 Decoforces와 그 밖의 여러 온라인 저지에서 문제를 푼다. 각 문제는 양의 정수인 난이도로 나타낸다. 난이도는 모든 저지에서 동일하게 측정된다(Decoforces에서 난이도가 d인 문제는 다른 어떤 저지에서든 난이도가 d인 문제와 같은 수준으로 어렵다).

Makes는 Decoforces에서 풀 난이도 a1, a2, ..., an인 문제 n개를 골랐다. 그는 이 문제들을 임의의 순서로 풀 수 있다. 하지만 난이도가 ai인 문제 i는 난이도가 인 어떤 문제를 이미 풀었을 때만 풀 수 있다(그 문제가 어느 온라인 저지에 있었는지는 상관없다).

이렇게 고른 문제 목록을 풀기 시작하기 전에 Makes는 이미 최대 난이도가 k인 문제들을 풀었다.

주어진 조건에서는 Makes가 어떤 순서를 선택하더라도 고른 문제를 모두 풀지 못하는 경우가 있다는 것을 쉽게 알 수 있다. 따라서 그는 자신의 목록에 있는 문제들을 모두 풀기 위해 다른 저지에서 몇몇 문제를 풀고자 한다.

모든 양의 정수 y에 대해, Decoforces 이외의 적어도 한 저지에는 난이도가 y인 문제가 존재한다.

Makes는 언제든 어떤 저지에서든 문제를 풀 수 있으며, 고른 목록의 문제들을 반드시 연달아 풀 필요는 없다.

Makes에게는 여유 시간이 많지 않으므로, Decoforces에서 고른 문제를 모두 풀기 위해 다른 저지에서 풀어야 하는 문제의 최소 개수를 계산해 달라고 요청했다.

첫째 줄에 두 정수 n, k (1 ≤ n ≤ 103, 1 ≤ k ≤ 109)가 주어진다.

둘째 줄에 공백으로 구분된 정수 a1, a2, ..., an (1 ≤ ai ≤ 109)개가 주어진다n.

Makes가 Decoforces에서 고른 문제를 모두 풀기 위해 다른 저지에서 풀어야 하는 문제의 최소 개수를 출력한다.

첫 번째 예제에서 Makes는 먼저 문제 1과 2를 푼다. 그다음 난이도가 9인 문제를 풀려면 난이도가 5 이상인 문제를 풀어야 한다. 다른 어떤 저지에서 풀 수 있는 난이도는 5와 6뿐이다. 이 중 어느 것이든 풀면 Makes는 문제 3을 풀 수 있게 된다.

두 번째 예제에서는 처음부터 모든 문제를 풀 수 있다.