N,K=map(int,input().split())
A=list(map(int,input().split()))
C=[0 for _ in range(N+1)]
for a in A:
    C[a]+=1
if max(C[1:])+C[0]>=K:print("Yes")
else:print("No")