#include <stdio.h>
#include <stdlib.h>
#include "time.h"
#include "unistd.h"
#include "string.h"
#include <math.h>
int ans=0;
int main(int argc, char* argv[]){
	long long int a, b = 1, c = 1;
	scanf("%lld %lld",&a,&b);
	long long int d[a],e=0;
	for (int i = 0; i < a; i++) {
		scanf("%lld",&d[i]);
		c+=d[i];
	}
	for (int i = 0; i < a; i++) {
		if (d[i]>=4*b) {
			e++;
		}
	}
	if (b<=e) {
		printf("Yes\n");
	}else{
			printf("No\n");
	}
}
