# ゆーさんはN枚のカードを持っている
# すべてのカードにはちょうど１つのマークが書かれており、
# マークはマーク0, マーク1, ..., マークN の N+1種類である
# 持っているカードを順にカード1, カード2, ..., カードNとしたとき
# i枚目(where 1<=i<=N)のカードのマークはA_iである
# マーク0のカードは後述するカードを出す操作の直前に
# マーク1～Nのうちの任意のマークのカードに置き換えることができる
# 持っているカードからちょうどK枚のカードを選んで出す
# 出したカード全てが同じマークのカードになるようにカードを出せるかを判定せよ
#
# 1 <= K <= N <= 100000
# 0 <= A_i <= N (where 1<=i<=N)

import sys
import itertools
import time
from math import radians, sin, cos, tan, sqrt
from collections import deque

def input():
    return sys.stdin.readline().replace('\n','')
sys.setrecursionlimit(1000000)
md1 = 998244353
md2 = 10 ** 9 + 7

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

dct = {}
for i in range(0, N):
    if A[i] not in dct:
        dct[A[i]] = 0
    dct[A[i]] += 1

flag = False
for i in range(1, N+1):
    card = 0
    if 0 in dct:
        card += dct[0]
    if i in dct:
        card += dct[i]
    
    if K <= card:
        flag = True
        break

if flag:
    print('Yes')
else:
    print('No')