#include <bits/stdc++.h>
using namespace std;
int main(){
ios::sync_with_stdio(0);
cin.tie(0);
int n,l;
cin>>n>>l;
priority_queue<int,vector<int>,greater<>> fruit;
for(int i=0;i<n;i++){
int in;
cin>>in;
fruit.push(in);
}
while(!fruit.empty()&&l>=fruit.top()){
fruit.pop();
l++;
}
cout<<l;
return 0;
}

京公网安备 11010502036488号