#include <cstdio>

int readint() {
	int res = 0;
	char c = getchar_unlocked();
	while ('0' <= c && c <= '9') {
		res = res * 10 + int(c - '0');
		c = getchar_unlocked();
	}
	return res;
}

int main() {
	int N = readint();
	int X = readint();
	int M = readint();
	int p[32];
	for (int i = 0; i < 32; i++) {
		p[i] = 0;
	}
	for (int i = 0; i < N; i++) {
		int a = readint();
		if (a > X) {
			p[31 - __builtin_ctz((a - 1) / X)] = i;
		}
	}
	int cost = 0;
	for (int i = 29; i >= 0; i--) {
		p[i] = (p[i] > p[i + 1] ? p[i] : p[i + 1]);
		cost += p[i];
	}
	printf(cost <= M ? "Yes\n" : "No\n");
	return 0;
}