单位转换

#include<bits/stdc++.h>
using namespace std;
int main(){
    int a,b,c,d;
    cin>>a>>b>>c>>d;
    if((a*b*c/1000)>=d){
        cout<<"Yes";
    }else{
        cout<<"No";
    }
    return 0;
}