N,K = map(int,input().split())
A = list(map(int,input().split()))

dat = [0] * (N + 1)
for a in A:
	dat[a] += 1
import sys
for i in range(1,N + 1):
	if dat[0] + dat[i] >= K:
		print('Yes')
		exit()
print('No')