请求添加题解。

#include<bits/stdc++.h>
using namespace std;
const int N=15+1000;
int m,n,wa[N],sum;
int main(){
	scanf("%d%d",&m,&n);
	for(int i=1;i<=m;++i){
		scanf("%d",&sum);
		++wa[min(m,sum)];
	}
	int i=m;
	while(i&&wa[i]+min(wa[i-1],n)<i){
		wa[i-1]+=wa[i];
		--i;
	}
	printf("%d",i);
	return 0;
}