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