#include using namespace std; using ll = long long; int main(){ ll n, x, m; cin >> n >> x >> m; vector 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'; }