from collections import defaultdict

n,k=map(int,input().split())
L=list(map(int,input().split()))
d=defaultdict(int)
for e in L:
	d[e]+=1
M=0
for k,v in d.items():
	if k!=0:
		M=max(M,v)

print("Yes" if k<=(d[0]+M) else "No")