/* -*- coding: utf-8 -*-
 *
 * 2054.cc:  No.2054 Different Sequence - yukicoder
 */

#include<cstdio>
#include<algorithm>
 
using namespace std;

/* constant */

/* typedef */

typedef long long ll;

/* global variables */

/* subroutines */

/* main */

int main() {
  int n, m;
  scanf("%d%d", &n, &m);

  if ((ll)n * (n + 1) / 2 <= m) puts("Yes");
  else puts("No");

  return 0;
}