#include #include #include #include #include using namespace std; using namespace atcoder; using ll = long long; using mint = modint998244353; using vi = vector; using vvi = vector; using vvvi = vector; using vll = vector; using vvll = vector; using vvvll = vector; using vmi = vector; using vvmi = vector; using vvvmi = vector; #define all(a) (a).begin(), (a).end() #define rep2(i, m, n) for (int i = (m); i < (n); ++i) #define rep(i, n) rep2(i, 0, n) #define drep2(i, m, n) for (int i = (m)-1; i >= (n); --i) #define drep(i, n) drep2(i, n, 0) int main(){ int n; ll x, m; cin >> n >> x >> m; vll a(n); rep(i, n)cin >> a[i]; vll cnt(n, 0); rep(i, n){ ll w = a[i]; while(w >= x){ cnt[i]++; w /= 2; } } ll mp = 0, mcnt = 0; drep(i, n){ if(mcnt < cnt[i]){ ll diff = cnt[i] - mcnt; mp += (ll)(i+1)*diff; mcnt += diff; } }cout << (mp <= m ? "Yes" : "No") << endl; return 0; }