#include <atcoder/all>
using namespace std;
using ll = long long;

int main(){
    ll n, m;
    cin >> n >> m;
    cout << (m >= n * (n + 1) / 2 ? "Yes" : "No") << endl;
}