#include <bits/stdc++.h>
int main() {
  int n, i;
  scanf("%d", &n);
  for (i = 1; i <= n; i++) {
    int x = i * (i + 1) / 2;
    if (x == n) {
      printf("YES");
      break;
    } else if (n < x) {
      printf("NO");
      break;
    }
  }
  return 0;
}
