#include <bits/stdc++.h>
using namespace std;
int main() {
  int i, n, sum = 0, ara[501];
  scanf("%d", &n);
  for (i = 1; i <= 500; i++) ara[i - 1] = (i * (i + 1)) / 2;
  for (i = 0; i < 500; i++) {
    if (n == ara[i]) {
      printf("YES\n");
      return 0;
    }
  }
  printf("NO\n");
  return 0;
}
