#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define rd_skip() while(*rp++>=48)
#define rd() ({long _v=0,_c;while(_c=*rp++-48,_c>=0)_v=_v*10+_c;_v;})

void output(char*s,long len){
	write(1,s,len);
	_exit(0);
}

int main(){
	char*mmap();
	char*rp=mmap(0l,1l<<25,1,2,0,0ll);
	rd_skip();
	long x=rd();
	long m=rd();
	long i=0;
	while(*rp){
		long a=rd();
		long k=0;
		while(a>=x){
			a>>=1;
			++k;
		}
		if(++i*k>m){
			output("No",2);
		}
	}
	output("Yes",3);
}