#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using namespace std;
using ll=long long;
using ld=long double;
ld pie=3.141592653589793;
ll mod=1000000007;
ll inf=10099999999999990;
int main(){
    ll n,x,m;
    cin>> n >> x >> m;
    vector<ll>a(n);
    vector<ll>b(n);
    for (ll i = 0; i < n; i++)
    {
        cin >> a[i];
        for (ll j = 0; j >=0; j++)
        {
            if (x>a[i])
            {
                b[i]=j;
                break;
            }
            a[i]/=2;
        }
    }
    ll now=0;
    ll ans=0;
    for (ll i = n-1; i >=0; i--)
    {
        ans+=max(0LL,(b[i]-now)*(i+1));
        now=max(now,b[i]);
    }
    if (m>=ans)
    {
        cout << "Yes" << endl;
    }else{
        cout << "No" << endl;
    }
    
}