from collections import defaultdict import math import sys def input(): return sys.stdin.readline().strip() def main(): n, k = map(int, input().split()) (*a,) = map(int, input().split()) z = defaultdict(int) for i in a: z[i] += 1 for i in range(1, n + 1): if z[0] + z[i] >= k: print("Yes") return print("No") if __name__ == "__main__": main()