스네이크버드는 과일 하나를 먹으면 길이가 1만큼 늘어나고 자신의 길이보다 작거나 같은 높이에 있는 과일들은 모두 먹을 수 있다는 부분을 코드로 작성하여 해결할 수 있었다.
N, L = map(int, input().split())
height = list(map(int, input().split()))
height.sort()
for i in range(len(height)):
if L >= height[i]:
L += 1
else:
break
print(L)