#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll = long long;
using ld = long double;
using mint = modint998244353;

int main() {
  ll N, M; cin >> N >> M;
  if ((N + 1) * N / 2 <= M) cout << "Yes" << endl;
  else cout << "No" << endl;
  return 0;
}