#define rep(i,n) for(int i=0;i<(int)(n);i++) #define ALL(v) v.begin(),v.end() typedef long long ll; #include using namespace std; int main(){ ios::sync_with_stdio(false); std::cin.tie(nullptr); int n,x,m; cin>>n>>x>>m; vector A(n); rep(i,n) cin>>A[i]; vector B(n); rep(i,n){ int t=A[i]; int cnt=0; while(t>=x){ cnt++; t/=2; } B[i]=cnt; } ll sum=0; int now=0; for(int i=n-1;i>=0;i--){ if(B[i]>now){ sum+=(B[i]-now)*(i+1); now=B[i]; } } if(sum<=m) cout<<"Yes"<