#include <bits/stdc++.h>
using namespace std;
using ll = long long;

int main(){
    ll n, x, m;
    cin >> n >> x >> m;
    vector<ll> a(n), b(n, 32);
    for(int i = 0; i < n; i++){
        cin >> a[i];
        for(int j = 0; j < 30; j++){
            ll d = 1ll << j;
            if(a[i] / d < x)b[i] = min(b[i], (ll)(j));
        }
    }
    ll ans = 0, maxv = 0;
    for(int i = n - 1; i >= 0; i--){
        if(b[i] > maxv){
            ans += (b[i] - maxv) * (i + 1);
            maxv = b[i];
        }
    }
    cout << (ans <= m ? "Yes" : "No") << '\n';
}