[백준] 1813

import sys
n=int(sys.stdin.readline())
hs=list(map(int,sys.stdin.readline().split()))
tmp=[0]*100001
cnt=0
checker=0
for i  in range(n):
    tmp[hs[i]]+=1
for i in range(len(tmp)):
    if tmp[i]==i: cnt=i; checker=1
if checker==0 : print(-1); exit()
else: print(cnt)

말장난 같다고 할까요? 구현 능력보다는 명제를 찬찬히 읽어보시고
구현 하는 방식에 대해서 고민하시면 쉽게 풀 수 있습니다.