fn main() { let (n, x, k): (usize, usize, usize) = { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); let mut iter = line.split_whitespace(); ( iter.next().unwrap().parse().unwrap(), iter.next().unwrap().parse().unwrap(), iter.next().unwrap().parse().unwrap(), ) }; let A: Vec = { let mut line: String = String::new(); std::io::stdin().read_line(&mut line).unwrap(); line.split_whitespace() .map(|x| x.parse().unwrap()) .collect() }; let mut ans = vec![0;n]; for i in 0..n{ let mut a=A[i]; let mut score=0; while a>=x{ score+=1; a/=2; } ans[i]=score; } let mut lans=0; let mut max_a=0; for i in 0..n{ let xi=n-1-i; if ans[xi]>max_a{ lans+=(ans[xi]-max_a)*(xi+1); max_a=ans[xi]; } } if lans<=k{ println!("Yes"); } else{ println!("No"); } }