#include <bits/stdc++.h>
int main() {
  int n, a[10000], i, c = 0, m = 0;
  scanf("%d", &n);
  for (i = 1; i <= 500; i++) {
    a[c] = ((i + 1) * i) / 2;
    c++;
  }
  for (i = 0; i < c; i++) {
    if (a[i] == n) {
      printf("YES\n");
      m = 1;
    }
  }
  if (m == 0) {
    printf("NO\n");
  }
  return 0;
}
