fn g() -> Vec<usize> {
	let mut s = String::new();
	std::io::stdin().read_line(&mut s).ok();
	s.split_whitespace().flat_map(str::parse).collect()
}
fn main() {
	let n = g();
	let mut d = vec![0; n[0] + 1];
	g().iter().for_each(|&x| d[x] += 1);
	let m = d[1..].iter().max().unwrap();
	println!("{}", if d[0] + m >= n[1] { "Yes" } else { "No" });
}